Sorry I haven’t been around. I needed to take a break. I tend to get too involved, you know, like the parent who is “coaching” a bit too fervently from the sidelines during a game … that’s completely my bad, not y’alls. 
As for as the name @ mentioning issue, I suggest it would be much easier to process that feedback if it was in a distinct topic in the #site-feedback category? One way to accomplish this: a moderator could use the admin wrench 
on this topic, select the posts, then use the “split” function to split those out into a new topic?
Ultimately what matters to me, and what we strive to encourage in the Discourse software, is aggregate community happiness. I hope we have recruited a set of solid community mods to replace the dearly departed Tuba Diva 
… the flexibility and malleability of software is incredible, and it is extremely satisfying to tend to your digital garden, but moderators are the most important element of any community. By far.