In my first sentence I wrote "have been made unlisted" but meant the opposite: "have been made public". As for why they used to be unlisted earlier, I have no i

In my first sentence I wrote "have been made unlisted" but meant the opposite: "have been made public". As for why they used to be unlisted earlier, I have no idea. Just found them following links from Knuth's website.