That is correct (sorry for the opaqueness), I've added documentation to `html/render.rs`