Dox: autogenerate TODO listing