Rename deep.txt to deep.rst