Doorknob just superpinged someone in our chat. The message got starred and ended up in the sidebar. However, the superping syntax and user ID weren't replaced with the normal ping and user name there (as they are in the actual message):
I don't think it's a big deal, but a bit of an inconsistency (and makes the starred message a lot less informative).
Edit: Doorknob has edited the message since I posted this question. It no longer contains the superping, so you won't be able to reproduce this by visiting the chatroom now. The screenshot was taken before his edit.