Yes and when you’re using “serverless” services there are actually servers running somewhere. At this point, it’s not insightful for someone to mention either on HN.
I do agree with you that "serverless" is a misnomer and not a useful technical term. I'm guessing the marketing team wasn't fond of "dynamically provisioned and auto-scaled pool of virtual machine instance-based services".
In a technical forum, most people have the domain specific knowledge and the “well actually” is not actually needed.