It usually happens automatically, but obviously not this time. That makes it very hard to think about it, because it mostly works.

My hypothesis is that HN's detection only looks for file extension, not content type headers, because it doesn't fetch the submission itself.

It's just text as part of the title. The submitter can do it (until the edit time runs out).