Get rid of dead references to user-file-position
Got rid of `user-file-position`