I see... Perhaps the extensions page can be redirected to the related page on the Free Software Directory, or completely disable the extensions page redirect and allow only packages to be installed either manually or also manually through GNU Guix.