Better Tab improves the player list, making it scrollable and adding numerical ping.
Backported the mod to 1.20-1.20.1
