And if you're going to change this, it should be done in a different PR than one that moves the files. Plus, it's fine as it is.