To add (I just remembered there was something strange about the comment):
The comment in question appeared in my notifications twice, a few minutes apart. Unsure if two comments were left, and one deleted by the user, or if some odd doubling occurred that left the existing comment a little fritzed in the backend code.