You're right. I didn't see that text anywhere on the page, but it indeed comes from the title element. It doesn't fit in the tab, but I see it now in the tooltip when I hover over the tab in Firefox.

Or maybe they didn't editorialize it because HN frowns upon that sort of thing.