First, a big thank you for fixing the code viewing functionality of BBS pico-8 carts.

Now for the ping related problems :

when a user has a space or a minus sign in his user name, the ping is either lost, or worse sent to another user :
For example, user Peter Mosevich won't get pinged because of the space, but unrelated user Peter will.

Support for something like @{Peter Mosevich} with documentation in the Formatting Help would be welcome.