Add HTML version of TODO to CVS, for web site use.

doc/src/FAQ/README

+The FAQ* files in this directory are the master versions, and the
+../../FAQ* text files are created using lynx:
+
+	lynx -force_html -dont_wrap_pre -dump -hiddenlinks=ignore -nolist FAQ*
+
+The TODO.html file in this directory is not the master, but ../../TODO
+is.  The conversion is done using txt2html:
+
+	txt2html -m -s 100 -p 100 --xhtml --title "PostgreSQL TODO list" \
+		--link /u/txt2html/txt2html.dict \
+		--body_deco ' bgcolor="#FFFFFF" text="#000000" link="#FF0000" vlink="#A00000" alink="#0000FF"' \
+		/pgtop/doc/TODO |
+	sed 's;\[\([^]]*\)\];[<a href="http://momjian.postgresql.org/cgi-bin/pgtodo?\1">\1</a>];g' > /pgtop/doc/src/FAQ/TODO.html
+
+