You can clone this repository using the git command above (will create directory "2026-01-22T23:34:46Z_simple_semantics"), or download the compressed archive.