At https://www.mediawiki.org/wiki/Special:ExtensionDistributor
the final 8 extensions in the dropdown list are in a confusing order, due to lower-case capitalization. (cldr, examples, googleAnalytics, intersection, normal, skins, timeline, wikihiero)

Is it possible to easily resolve this? Either by renaming the official title of the extension, or changing the ExtensionDistributor default sort-order to ignore capitalization, or something else?