This bug was fixed in the package gnome-user-docs - 3.28.2+git20180715-0ubuntu1
--------------- gnome-user-docs (3.28.2+git20180715-0ubuntu1) cosmic; urgency=medium
* Latest upstream git (LP: #1781816, LP: #1772104, LP: #1771026)
-- Gunnar Hjalmarsson <email address hidden> Sun, 15 Apr 2018 23:46:00 +0200
This bug was fixed in the package gnome-user-docs - 3.28.2+ git20180715- 0ubuntu1
--------------- git20180715- 0ubuntu1) cosmic; urgency=medium
gnome-user-docs (3.28.2+
* Latest upstream git (LP: #1781816, LP: #1772104, LP: #1771026)
-- Gunnar Hjalmarsson <email address hidden> Sun, 15 Apr 2018 23:46:00 +0200