The distribution size has decreased significantly, so they're way faster to download now.

When setting up dedicated servers, the servers now only use one port from now on, and this is both for UDP and TCP, and that port is 7777.

Sounds like a children's song.

Seven, seven, seven, seven, seven.

And it's important to remember to let both UDP and TCP through that one port.