Err what's going on with kernel.org? The pub directory is empty.
https://mastodon.decentralised.social/system/media_attachments/files/116/848/320/769/999/029/original/6b2e8e2d6ca258ce.png
@nprofile1q... oddly, busting the cache with ?1 reveals a single tools directory https://www.kernel.org/pub/?1
1