>>Where is it documented as "pages=checked"?>options -> Build -> No external
pages

I found what you meant.
It creates an entry
NoExternalPages=1

But I do not find that or "pages=checked' in
<http://www.httrack.com/html/fcguide.html>
Is it the same as:
x   replace external html links by error pages
?Or what httrack option?What could be put in .httrackrc?