Moi je n’ai encore rien décidé. Je fais juste comme l’extension officielle polkadot.js. Je verrai les dérivations plus tard.
Gecko devrait par contre signaler explicitement que l’adresse est une dérivation et laquelle précisément. Ça évitera de chercher pourquoi il est différent de l’extension officielle.