They were pretty inactive from what I can tell. I'm sure theymos would have them back in an instant if they could dedicate their time again. Both were top notch in my opinion. Probably better to promote existing staff than hire new ones to fill in the slot. Thanks for the endorsement though 
What did I do? Everybody knows I'm never anyone's alt 
Myself, Pugman, and yourself used emojis in our replies. 100% confirmed alt accounts.