TODO.txt: updated for things that are already done