No, that should be an ARIA label. Specifically NOT a `title` attribute.

A title provides additional (not redundant) info and browsers and assistive technologies implement the attribute differently.

The whole page is written in beautiful HTML also (probably by hand?)

ahhh fair!!! Unfortunately only the page title. Elsewhere in the document it's not annotated

    the <a href="https://raw.githubusercontent.com/jart/cosmopolitan/667ab245fe0326972b7da52a95da97125d61c8cf/ape/ape.S">αcτµαlly pδrταblε εxεcµταblε</a> format

still obnoxious though imho