Thanks for calling our attention to this. It affects both ubuntu-docs and gnome-user-docs, so I submitted an upstream issue as well.
Thanks for calling our attention to this. It affects both ubuntu-docs and gnome-user-docs, so I submitted an upstream issue as well.