You can clone this repository using the git command above (will create directory "2026-04-03T23:05:54Z_mcrl"), or download the compressed archive.