You can clone this repository using the git command above (will create directory "2025-09-15T22:34:46Z_TheIDE"), or download the compressed archive.