It is de facto allowed, yes. But if it only works in compile-at-once, and isn't essential for some use case, it is just friction and I agree to forcing package names to match their paths. But I suspect there is _are_ use cases. It's not the first time we talk about this, IIRC.
-- Marco