TODOs.md: Mark #question-e7faf3ec-a40e-f35c-7380-6965942d957f as DONE

1 files changed, 12 insertions, 1 deletions

diff --git a/TODOs.md b/TODOs.md
index 64847c0..6f5b9fb 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -1106,7 +1106,18 @@ name of less requirements.
 
 # Questions
 
-## TODO How to make the generated HTML files be more semantic?  Only by writing it manually? {#question-e7faf3ec-a40e-f35c-7380-6965942d957f}
+## DONE How to make the generated HTML files be more semantic?  Only by writing it manually? {#question-e7faf3ec-a40e-f35c-7380-6965942d957f}
+- DONE in 2021-10-02
+
+  Either by writing them manually, or by using tools that better translate the
+  markup (troff with the `man` macro package) into semantic HTML.
+
+  Since the first class target format are manpages to be viewed after being
+  installed, and the HTML is derived from that, I choose not to write HTML and
+  generate manpages, and instead keep the current solution.
+  The semantic can be improved by having better tools, and in fact we would all
+  benefit from having alternatives to groff and pandoc.
+  Until then, the current HTML is all we have.
 - TODO in 2021-08-20
 
 ## DONE Should I switch from pandoc to groff for generating HTML? {#question-539a1902-ed41-fc93-806a-088b6caf8134}