Since we now have lint.in and tests.in, which both ought to cover dev-centric dependencies, we probably no longer need dev.txt and any commands that reference that file any more.