Rename nrm.txt to doc/nrm.txt