patch applied (hackage-server): "More HTML fixing" and 5 others