I believe you, but a comment like that is going to pattern-match to the internet default, which is snark, in nearly every reader's mind.

I think you are overreacting here, his comment was definitely not interpreted as sarcastic. Quite the opposite, it was showing appreciation for what an achievement QuickJS is.