Run with pushd index.html; python3 -m http.server 9999; popd;