Update doc/misc.txt after fixes to html2vimdoc