Conte por que você acha que a classificação de “gnome-shell-extension-custom-hot-corners-extended” deveria ser diferente. Citações de fontes ajudam.