TODOs.md: Mark #question-539a1902-ed41-fc93-806a-088b6caf8134 as DONE

1 files changed, 6 insertions, 1 deletions

diff --git a/TODOs.md b/TODOs.md
index b326f03..d95fb0c 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -509,7 +509,12 @@ So here I'm optimizing for more things being commited in the repository in the n
 
 # Questions
 
-## TODO Should I switch from pandoc to groff for generating HTML? {#question-539a1902-ed41-fc93-806a-088b6caf8134}
+## DONE Should I switch from pandoc to groff for generating HTML? {#question-539a1902-ed41-fc93-806a-088b6caf8134}
+- DONE in 2021-07-13
+
+  No.
+
+  Pandoc is too lenient with man, and knows only about man and not about the rest of troffs toolchain (`tbl`, `eqn`, `pic`, etc.), but groff is worst on Unicode, so we stick to pandoc.
 - TODO in 2021-07-10
 
 ## DONE Is an empty blank line in groff the same as a `.P` request? {#question-e3b7748d-2e67-b60b-e966-ad80c754ea58}