can't configure hide top bar extension

[whitis]

sudo apt-get install -y gnome-shell-extension-autohidetopbar
gnome-shell-extension-tool -e <email address hidden>
nohup gnome-shell --replace &
gnome-tweaks &      # can't enable/disable or configure top bar extension, not shown
firefox https://extensions.gnome.org/local/  # can fonfigure top bar extension

Needing to visit a website to configure your own computer is uncivilized and totally unacceptable to emergency responders.

The relavent packages are the newest available versions

||/ Name Version Architecture Description
+++-==============-============-============-=================================
ii gnome-shell 3.28.4-0ubun amd64 graphical shell for the GNOME des
ii gnome-shell-ex 20171126-2 all GNOME shell automatic topbar hide
ii gnome-tweaks 3.28.1-1 all tool to adjust advanced configura

ProblemType: Bug
DistroRelease: Ubuntu 18.04
Package: gnome-tweaks 3.28.1-1
ProcVersionSignature: Ubuntu 5.3.0-40.32~18.04.1-generic 5.3.18
Uname: Linux 5.3.0-40-generic x86_64
ApportVersion: 2.20.9-0ubuntu7.14
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Mon Apr 20 05:37:54 2020
InstallationDate: Installed on 2019-05-02 (353 days ago)
InstallationMedia: Ubuntu 18.04.2 LTS "Bionic Beaver" - Release amd64 (20190210)
PackageArchitecture: all
SourcePackage: gnome-tweaks
UpgradeStatus: No upgrade log present (probably fresh install)