[2021] Are we ever going to get better ways to filter servers?

You can already sort servers by ping, player count, etc.