Yeah, they're not visible to regular users. You may check the modlog for bans, but it only covers recent ones as far as I know. I can't find the user you mentioned anymore, so they must have been banned a few weeks back.