Unconditionally install HTML manual (oops)