Warning about HTML version

staging/index.html

@@ -21,7 +21,7 @@
 <h2>Distribution Formats</h2>
 <ul>
 <li> <a href="cpdt.pdf">Latest draft as a PDF</a></li>
-<li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a></li>
+<li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a> [note that the author focuses on the PDF version and doesn't make an effort to keep the HTML version particularly pleasant to use]</li>
 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li>
 <li> <a href="repo">Public, read-only Mercurial repository</a></li>
 <li> <a href="updates.rss">RSS feed of updates</a></li>