You can clone this repository using the git command above (will create directory "2025-09-01T22:33:43Z_sokoban.github.io"), or download the compressed archive.