It’s literally just that file. You can download it, and it should work anywhere. It does have a few CSS/JS external dependencies - but otherwise it’s self contained.

I need to make the code more pretty and likely finish at least the editor before I’ll make a formal repo.