Rename DEBUGGING.txt => DEBUGGING.md