Diff gnome-user-docs-45.0 with a gnome-user-docs-47.2

Thank you!