Don't list server stats in about.html; they take a while and don't that much.

[disorder] / debian / etc.disorder.options.user

# This file is included from /etc/disorder/options as its last act, so you can
# use it to override any of the default settings.