This is for crates.io publishing using a precompiled static html files