What is this --enable-gtkhtml option good for?
----------------------------------------------

If you have libgtkhtml2 installed, you may want to use it to have nice
looking HTML info pages in the about dialog instead of the plain text
ones. Give it a try.

