I was surprised to hear that the GUD protocol is both upstreamed and also undocumented. Can anybody corroborate this?