patch applied (/home/srv/code/hackage-server): "Rename the HackageModule/Feature type and some members" and 3 others