HN"."

That was a verytrivial correction.

"very trivial"

The parent username is verytrivial, so I think we can accept the humour and let it go without splitting, don't you agree?

What makes you think that my comment wasn't humorous?

I was just pushing the pedantry forward ;)

Probably subjectivity.

Thanks. I could tell it was a joke but didn't get it.