I agree, this is a weird situation though. Let's talk about it in person. Thankfully only two files are affected, so it'll be an easy change regardless of what we decide.