[gssproxy] [PATCH] man page updates