good first issuerefactoring
描述
Since (I believe) v1.10, it is not necessary to include the parent package name in the extension package name. From the Pkg docs:
Extensions can have arbitrary names (here ContourExt), following the format of this example is likely a good idea for extensions with a single dependency. In Pkg output, extension names are always shown together with their parent package name.