* etc/TODO: Remove obsolete entries.