Those itemized (and the two people who also left TPF roles who have not been listed) only left their TPF committee positions, and not their programmer roles. Sebastian even did another Mojolicious release this weekend, and his presence on the libera#mojo channel has not changed.