Changes requiring reconfiguration since September 2008:

2008-09-25: new setup introduced to avoid insisting that everyone
reconfigure after minor changes.
