New launcher-related goodies:
You can now specify the demo name which will be used for autorecording and as the default for manual recording.
Reorganization of demo-related options.
Implementation of dmflags-based filtering for servers.
Get it either through your launcher's auto-update mechanism or from our
standard setup.