@jasonsanjose Do you think we should rename that file so it's more clear it shouldn't be modified?  This gotcha seems to come up fairly regularly...