Custom hot corners extension fails to load after uprading from Ubuntu 19.10 to 20.04
In the Gnome Tweaks -> Extensions panel, the Custom hot corners extension shows "Error loading extension".
OS: Ubuntu 20.04
gnome-tweaks: 3.34.0-2ubuntu1
gnome-shell-common: 3.36.1-5ubuntu1