Yes, that account was automatically shadowbanned.

But someone did a manual override.

I am impressed. HN does allow throwaway accounts, when necessary to post anonymously. And making that possible via Tor is admirable. There's certainly potential for abuse. I see occasional spam, and angry insults, but nowhere near as much as one might expect. Which suggests either that shadowbanning works well enough, or efficient moderation.