Only one version can be installed when using extension_control_path

If the same extension is in two different paths mentioned in extension_control_path,
it is impossible to install the version of the last one.

postgres=# show extension_control_path ;
                           extension_control_path                            
-----------------------------------------------------------------------------
 $system:/extensions/meilleureextension/share:/extensions/monextension/share
(1 row)

postgres=# select * from pg_available_extensions where name like '%mon%';
     name     | default_version | installed_version |    comment    
--------------+-----------------+-------------------+---------------
 monextension | 2.0             |                   | Meilleure
 monextension | 1.0             |                   | Mon extension

(2 rows)

postgres=# create extension monextension version "1.0" ;
ERROR:  extension "monextension" has no installation script nor update path for version "1.0"

postgres=# create extension monextension ;
CREATE EXTENSION
postgres=# select * from pg_available_extensions where name like '%mon%';     name     | default_version | installed_version |    comment
--------------+-----------------+-------------------+--------------- monextension | 2.0             | 2.0               | Meilleure monextension | 1.0             | 2.0               | Mon extension

Don't you think that the command

create extension monextension version "1.0" ;

should be accepted by checking in all paths ?

Pierrick,