If it wasn't down then we would not be here talking to Vermeil.
It's not like those people get deleted just because their instance is down. Defederation/domain mutes are tools for a reason. If you want to never deal with them, it's best when their instance is up.
