Debloat the Internet tab by hiding DDNet and KoG servers

[murpii]

Thoughts?

Two positives I can think of:

• Minimal Moderation Needed: Official servers are exclusively listed under their designated tabs.
• People will always be able to locate our servers and refrain from joining servers that falsely claim to be official DDNet servers.

This complements #5654

[def-]

Super annoying if you want to search for someone and need to check in 3 tabs.

[murpii]

Then a filter which can be toggled may be most appropiate I think. This would provide users with greater control over their search results and reduce the clutter in the tab.

[Vy0x2]

I think another order would be good: DDNet, KoG, Other Servers, All Servers, Lan

Favorites could be moved into a filter? imo all servers/other servers are more often needed than favorites (who uses them?)

[def-]

I'd prefer https://github.com/ddnet/ddnet/issues/5654