patch applied (hackage-server): "Allow admins to add/remove admins"