This was called from config box setup, and is obviously the kind of thing that ought to be a reusable utility function.
Simon Tatham