Get more out of the GNOME file manager with these easy tweaks!