Oh I see. I agree this is cleaner, but I guess it is a completely different registry from FileModuleRegistry. I think this PR had less ambition.