@aronasorman this is another mistake--checked in a spanish exercise.  Any suggestions on how to use git to eliminate this file from this commit?