That TODO is obsolete. I forgot to remove it when I wrote `test_cleanup()` just above it.