2019/11/29, fifth day

Lots of org-mode rss feed

Old TODOs

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.

org-mode export settings

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.