Development Branch: + Kevin Finn's patch to allow changing option widget sensitivity. + Fix to allow loading config.auto from config.user. dave