gnome-getting-started-docs-3.38.1-2.mga10.src.rpm build ok