@ideasmithy Good points and a happy ending.
I'll note: when I see abuse and harassment directed *at other users*, I'll check to verify that it is what it seems to be, and report it.
Mastodon's "report" feature also allows calling up other toots by the reported user. Often you'll see a consistent pattern emerge directed either at one or many users.
Third-party reports are almost always helpful as they remove the subjectivity of the direct participants.
Generalistic and moderated instance.