No problem - we’re unfortunately unable to delete the messages themselves the way we can remove a public comment, but rest assured we will fire the account into the sun (or, you know, just ban them from messaging our local users).

I also know that the admins of other servers are aware of the issue, so I encourage everyone to make reports, regardless of their home server.