Not urgent, but the now namespaced MVC classes shouldn't use the aliases otherwise when we run the job to build https://api.joomla.org it'll make some of the navigation not work right (i.e. it won't link to the class it extends if it's using an alias without creating a stub class when running the job). So at some point this should use the "correct" class names.

Also, the file doc blocks don't need the package/subpackage tags in namespaced classes. Those are really only there to be able to group stuff for the API documentation output (which has been semi-broken in phpDocumentor for a while anyway unfortunately). See https://github.com/joomla/joomla-cms/blob/4.0-dev/libraries/src/Cms/Session/Storage/JoomlaStorage.php for an example of a file doc block being used on the namespaced code in the 4.0 branch (I think we had to make a change to the PHPCS ruleset to make it work right there, check that directory and backport the change if necessary).