Quick and dirty bash scripts to improve the quality of user documentation across all GNOME repositories