HTML as executables