I was really baffled by why I couldn’t find a file in my editor. This article explained why. I ended up copying it out of that location, editing it, and copying it back.