Make TODO file slightly less outdated