I moved most of the pages to my website chol.foo
I will discontinue this domain some time in the future.
Here is a list of links to the new locations: