1 -D WML_SRC_REALNAME="Debian Webmaster"
2 -D WML_SRC_USERNAME=webmaster
3 -D WML_GEN_HOSTNAME=debian.org
6 -D SEARCH="http://search.debian.org/"
7 -D INTRO="https://www.debian.org/intro"
8 -D DISTRIB="https://www.debian.org/distrib"
9 -D HOME="https://www.debian.org"
12 -D PICS="https://www.debian.org/Pics"