acserver.getServMillis and documentation for it and related commands.
Some ServerSpeed improvements.
IRC Bot plugin. Default disabled.