This site has now moved here. It’s more fun and updates itself.