Is this ever going to happen, given our use of `pre.sanitizePath`?