diff --git a/c/todo.txt b/c/todo.txt
index 3a4e5e5df..8783e3610 100644
--- a/c/todo.txt
+++ b/c/todo.txt
@@ -34,9 +34,7 @@ packaging:
 * .deb
 
 doc etc.:
-* "portable"
-* clarify license
-* clarify ext/int deps
+* poki cover
 
 ================================================================
 TOP OF LIST
diff --git a/doc/build.html b/doc/build.html
index d26f4cc75..64983e873 100644
--- a/doc/build.html
+++ b/doc/build.html
@@ -111,10 +111,10 @@ runtime memory-access errors.
 
 <p/><boldmaroon>External dependencies</boldmaroon>:
 <ul>
-</li> <tt>gcc</tt> (or presumably other compilers; please open an issue or send me a pull request if you have information for me
+<li/> <tt>gcc</tt> (or presumably other compilers; please open an issue or send me a pull request if you have information for me
 about other 21st-century compilers)
-</li> The standard C library
-</li> <tt>flex</tt>
+<li/> The standard C library
+<li/> <tt>flex</tt>
 </ul>
 
 As well, this documentation pageset is built using Poki:
diff --git a/doc/content-for-build.html b/doc/content-for-build.html
index a20ac455d..1fb47a7a8 100644
--- a/doc/content-for-build.html
+++ b/doc/content-for-build.html
@@ -17,10 +17,10 @@ runtime memory-access errors.
 
 <p/><boldmaroon>External dependencies</boldmaroon>:
 <ul>
-</li> <tt>gcc</tt> (or presumably other compilers; please open an issue or send me a pull request if you have information for me
+<li/> <tt>gcc</tt> (or presumably other compilers; please open an issue or send me a pull request if you have information for me
 about other 21st-century compilers)
-</li> The standard C library
-</li> <tt>flex</tt>
+<li/> The standard C library
+<li/> <tt>flex</tt>
 </ul>
 
 As well, this documentation pageset is built using Poki: