Clarify instructions: file extension reduces ambiguity

This way it's perfectly clear which file to edit.