He still own brendan@mozilla.org (https://github.com/tc39/agendas/commit/6d5fa287a755429707e6e38aa0c8c0889678670b https://github.com/tc39/agendas/commit/6d5fa28

He still own brendan@mozilla.org (https://github.com/tc39/agendas/commit/6d5fa287a755429707e6e38aa0c8c0889678670b https://github.com/tc39/agendas/commit/6d5fa287a755429707e6e...) Though this is not a sign of him actually remaining in power I guess, but more of an advisor and active contributor.