Delete TODO-313-dev.txt

This file is no longer necessary