It's not possible to leave a community hosted on a homeserver which died.
The community can be hidden from the side filter panel, but will stay in the user's communities page forever.
Trying to open the community's information page to leave it displays "Failed to load +community:deadhomeserver", giving the user no way to leave the community.
This is exactly what happened to me.
Not sure how useful it is to track it here. It is really a Synapse issue. https://github.com/matrix-org/synapse/issues/5254
Not sure how useful it is to track it here. It is really a Synapse issue. matrix-org/synapse#5254
It's both since Riot's UI offers no way to hit the "leave community" button in such situation.
For those stumbling across this looking for a possible solution: https://github.com/Twi1ightSparkle/matrix-documentation/wiki/Leave-Community-on-Dead-Homeserver
Most helpful comment
It's both since Riot's UI offers no way to hit the "leave community" button in such situation.