Probably a mistake from some reorganization that happened. Feel free to change that line to point at `dev.txt` or if nothing other than the stuff in `docs.txt` is needed then just remove it.