explanation of why trivial bugfixes are TODO\'ed rather than to-done.