User publish default settings will work

Created by Glenn on 2008-09-18; known on 2008-09-18; judged right by Glenn on 2008-09-18.

• Glenn estimated 79% on 2008-09-18
• Glenn   judged this prediction right on 2008-09-18.