It’s not a huge improvement, but it should make everyone’s life a little easier.
I kicked up a new page that has links to the most commonly requested resources on this site. It’s more sparse than I expected it to be after all these years. We’ll add to it over the next decade, though.
Nice improvement, but right now the page headline covers the whole line of links at the top, at least in Safari.