3 ms·

It's in the page title.

• mkl 2y ago
  Conveniently left out of the HN link, and mentioned nowhere in the page body.
  • deleted 2y ago
    [deleted]
  • inopinatus 2y ago
    Complaining about one’s own failure to read the title of a document seems like an own goal. It’s an obvious detail, and it’s right there in the header.