Updates for /man/ HTML