Hmm? I've been hit by the gjs bug in Ubuntu 20.04

OK, OK, it's not a bug; it's supposedly an extension I've installed. Probably "Vertical Overview" but I hate horizontal desktops!