patch applied (hackage-server): "Switch html user list from enabled to active users" and 1 others