> I am unable to find an option "pages=checked" .  Is
> that the form of an option?  Where is it documented
> as "pages=checked"?
options -> Build -> No external pages