Rename DBN.txt to DBN.rst