gok-debuginfo moved-obsoleted-by gnome-shell
