Ubuntu
gnome-user-docs package

  1. Bug #1779547
  2. Comment #1

Comment 1 for bug 1779547

Revision history for this message
Gunnar Hjalmarsson (gunnarhj) wrote :

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.