I am not sure that I want to modify html files from emrun itself, since it can interfere with people's custom shells, e.g. in gfxapi I use a shell that is already emrun-ready, so that would conflict with that kind of automatic logic. I was thinking of solving that problem with documenting the usage in the wiki.