Props on them for alerting people.

What catches my attention is they said the file did not get deleted on upgrade. That's not normal for WP (which deletes the theme or plugin folder entirely and replaces it on upgrade). I wonder why this is not happening for that theme.