Better Tab improves the player list, making it scrollable and adding numerical ping.
Added total player number (#18)
