Hardcoded it into setup.php now - people who are that keen can change it there.
file and into a database, where they can be edited using a new admin form called "Configure variables".