patch applied (hackage-server): "Remove some uses of the deprecated withHackageAuth" and 2 others