@betanalpha and/or @seantalts: all the previous links on the web site are broken. I opened an issue to add redirects: