> pages that the site produces, a number of them
> (typically 100-150) are not converted to an .html
> extension but stay at .php, with the result that
> these can not be accessed by the browser.

Hummm, any site where the problem can be reproduced ? httrack should always
rename html resources to "html", except for extensions always considered as
html (.htm or .html).