Thanks for finding that! I have fixed the two issues (file not getting saved, and syntax highlighting not updating). Please open a Github issue if you find any

Thanks for finding that! I have fixed the two issues (file not getting saved, and syntax highlighting not updating). Please open a Github issue if you find any more like those.