[a9h74j]

Excellent. Useful for being on a chromebook, offline and not logged in, so only opening local html files for tools is an option (no Chrome extensions). Will add file saving to my copy.