Documentation: Config filename Update config filename to accurately match the filename of the gerrit configuration file Change-Id: If0531d3bcead4ffd6f44878e3295ce0cd2d92955