Their names remain in the hub leader box, so my assumption is they have not requested Agora to remove their account.

Requests have been made for their return, kind words have been sent, so IMO, lets just give them some time to mull it over, and decide accordingly.

In the mean time, their contribution will be missed by many.