makes sense
OK, that makes sense.
Another question, for PHP pages, do you happen to have a tool to automatically convert *.php page names and links (within a page) to *.html?
Of course, I could do it with a shell script, but if you already have a tool that would be great.
Thanks!!