Remove obsolete note from TODO (see commit 75459fc)