I am trying to find a post I was looking at not ten minutes ago by the infosec person with the Marvin the Martian avatar. I could solve this problem by asking "hey who's the guy with the Marvin the Martian avatar" but the last time I did this dozens of people responded by tagging him, flooding Jose mentions, which I absolutely did not and do not want, so I had to delete the posts, which also means I can't go back and check the replies