patch applied (hackage-server): "Expand the HighLevelTest" and 2 others