config.txt: Describe special 'none' handling in core.gitProxy.