Extensions are not shown in the "Extensions → Shell Extensions" section

[Alessandro Viprati]

Ubuntu/GNOME Software provides a way to install extensions without the need to access the extensions.gnome.org website.

While extensions are shown in Software with a simple search by "name" (try typing "pomodoro" or "weather"), them are not shown inside the "Extensions → Shell Extensions" section.

ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-software 3.26.1-0ubuntu2
ProcVersionSignature: Ubuntu 4.13.0-16.19-generic 4.13.4
Uname: Linux 4.13.0-16-generic x86_64
NonfreeKernelModules: wl
ApportVersion: 2.20.7-0ubuntu3.1
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Sun Nov 5 15:36:35 2017
InstallationDate: Installed on 2017-09-30 (35 days ago)
InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170926)
InstalledPlugins:
 gnome-software-plugin-flatpak N/A
 gnome-software-plugin-limba N/A
 gnome-software-plugin-snap 3.26.1-0ubuntu2
ProcEnviron:
 TERM=xterm-256color
 PATH=(custom, no user)
 XDG_RUNTIME_DIR=<set>
 LANG=it_IT.UTF-8
 SHELL=/bin/bash
SourcePackage: gnome-software
UpgradeStatus: No upgrade log present (probably fresh install)