and were Java servers. Bedrock not included (runs on a different port over UDP only). Probably not including any Java or Bedrock Realms (official MSFT servers), who likely seat all access behind an authenticated gateway of some sort.
For extra fun, is a wiki.vg page trying to accumulate documentation on the Bedrock UDP interface.
https://wiki.vg/Bedrock_Protocol
This is still a neat sample of Java Minecraft servers.