Индикатор рабочих областей не работает в Ubuntu 19.04

Индикатор рабочих пространств ( https://extensions.gnome.org/extension/21/workspace-indicator/ ) не работает для меня в Ubuntu 19.04, что странно, поскольку он является одним из значений по умолчанию extensions, и все на extensions.gnome.org утверждают, что это работает.

Что я могу сделать, чтобы это исправить? Является ли это возможным? Спасибо!