gnome-user-docs sometimes uses <gui> or no tag when referring to default folders
Submitted by Sebastian Rasmussen
When referring to the default folders in the user's Home folder, like Documents, Pictures, Music, Downloads, etc. the documentation ought to consistently use
<file> tags. The attached patch aims to fix this and does wrapping where it can be done without affecting the entire file.