Merge pull request #6220 from RosettaCommons/roccomoretti/interactive_ignore_players_online
[Foldit] Ignore the 'others online' display
We don't really need it, and we haven't implemented it for the new server.
(No release notes -- we'll see if anyone notices.)