Undoing an incorrect renaming of a JS resource