Thank you for your fast reply.

Yikes the server has literally hundreds of thousands of pages (files ending in
.html) and the ones containing my search string might amount to only a few
thousand... a lot of time, bandwidth and disk space spent just to discard 95%
of the downloaded material :-(

Is this a feature that might be considered for the future?
Kind regards,
--appyface