TODO

Finished some 8 yrs old TODO. Feels weird.
(Will publish next week.)