Rename INSTRUCTIONS -> INSTRUCTIONS.txt.