Unfortunately, other instances may need to defederate from this one to solve the issue. Hope it doesn’t come to that, of course, but in the mean time, yes, bringing attention to the issue is definitely a good move, no matter the outcome.