Add a few more tor employes to exclude from our acknowledgments
(Our practice has been that after one or two release cycles, employees get left off the list of "thanks" in the changelog, and instead get counted as among the people doing the thanking.)