Dash to Dockをアップデートしたら消えてしまったでござるの巻

な、何を言ってるかわからねーと思うが、俺も何をされたのかわからなかった。

GNOME Shellのインストール済み拡張機能を見たらDash to Dockに更新があったので、更新してみると有効にできなくなってしまいました。
Dash to Dockのページを見てみると作者さんが手動でインストールしてよとおっしゃっているので、このページを参考にしてやってみたら再び動作するようになりました。

Dash to Dockがないと作業が全く捗らないので、すごく助かりました。