2019/11/29, fifth day
I checked all the old files for TODOs and registered them in the file I created yesterday (maybe I should link it to all the pages, btw...) That's quite a few things to do. All mostly related to infrastructure.
The default org export values for HTML are ugly. I read the manual and made a few modifications. I don't like how the org headings are translated into header tags in HTML. Why not keep a simple list structure? Anyway, the ToC looks good now. I'll need to check how to restyle the headers.