I'm wondering what made you decide to use the ``SourceFileProviderRegistry``, instead of ``ScalaSourceFile.createFromPath``. Just trying to understand the rationale, as in several places we simply use the latter.