file names from html page

This is what a web source is supposed to do; not so simple anyway...

Look at the Web sources section of the forum

Bye