Make the github.io thing up-to-date

numberzero.github.io/CrocoLogic should be the latest version.