[gssproxy] [gssapi/gssproxy] a05b87: Document config file non-merging