Make sure newly installed extensions are sorted consistently with the initial sort