Thanks for your report! It's kind of embarrassing, but I think you are correct.
Since the page is from upstream GNOME Help, I have asked for help with figuring out to which extent it's due to differences between Ubuntu and vanilla GNOME: https://mail.gnome.org/archives/gnome-doc-list/2018-July/msg00000.html I suspect that at least item 1. may be due to such a difference. ** Package changed: ubuntu-docs (Ubuntu) => gnome-user-docs (Ubuntu) ** Changed in: gnome-user-docs (Ubuntu) Importance: Undecided => Medium ** Changed in: gnome-user-docs (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1779547 Title: Super key documentation is not correct To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1779547/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
