chiark / gitweb /
Make better use of the new settings code.