refreshoptions fix, flexible downgrading

some stuff that may help with #241 also
Merge branch 'ed-isnotawebdesigner' of https://github.com/eternaldensity/Sandcastle-Builder into ed-isnotawebdesigner