I added a new setting to show line numbers in html files to this
configuration file.