Define here the prefered localization of the Help documentation files.
Source
Indicates whether the Help documentation should be fetched
from the local computer or from a remote (HTTP or FTP) server.
Importing the local documentation is faster, but the remote
documentation might be more recent.
Local
Indicates the path to the local 
doc directory where the
GAMGI documentation starts. It is needed only when 
Source
is set to 
Local.
It is equivalent to create the 
GAMGI environment variable, in ~/.bashrc:
GAMGI=/home/carlos/gamgi/gamgi/; export BROWSER
Remote
Indicates the path to the remote 
doc directory where the 
GAMGI documentation starts. It is needed only when 
Source 
is set to 
Remote. By default, it is 
http://www.gamgi.org/.
Other option is 
ftp://ftp.gamgi.org/gamgi/.