withlist/run.py: Add TODO (FIXME) comment