Off-topic, but this page's `article` tag has its `title` attribute set to the article's title. Event though it sounds reasonable, that's not how it's supposed t

Off-topic, but this page's `article` tag has its `title` attribute set to the article's title. Event though it sounds reasonable, that's not how it's supposed to work... :) As a result, I get a useless tooltip when placing the cursor almost anywhere on the page.