RenHTML is a little program for renaming HTML files to their titles.