community/gnome-user-docs: upgrade to 47.2

https://download.gnome.org/sources/gnome-user-docs/47/gnome-user-docs-47.2.news

community/gnome-user-docs/APKBUILD

 # Contributor: Rasmus Thomsen <oss@cogitri.dev>
 # Maintainer: team/gnome <pabloyoyoista@postmarketos.org>
 pkgname=gnome-user-docs
-pkgver=47.0
+pkgver=47.2
 pkgrel=0
 pkgdesc="GNOME User Documentation"
 url="https://gitlab.gnome.org/GNOME/gnome-user-docs"
@@ -27,5 +27,5 @@ package() {
 }
 
 sha512sums="
-fed6df4e88e8d96b79c554bf2709ee2feb785e4d1941f4368c3ede745d774e87feb940b43f4a19bb9ee42b5cda70c2f1a79f992e5f2294e57e98b9bba9c7fc13  gnome-user-docs-47.0.tar.xz
+8e3c0b5a4e8b4062b028b361ec46f752b04167913df29d341e80bd84e2389dd3bbcfd62b766c65322a8cb654d421c1173a56171ee8392c1125b788df5003d38b  gnome-user-docs-47.2.tar.xz
 "