doc: Reformat html versions a bit