Hi All, I just wanted to get your thoughts regarding the support of user agent. There are multiple ways to set a user agent with the most recent one being in the header of the HTTP request ( https://tinkerpop.apache.org/docs/current/dev/provider/#_graph_driver_provider_requirements). There is an older user agent that is sent in the body of the request ( https://github.com/apache/tinkerpop/blob/master/gremlin-driver/src/main/java/org/apache/tinkerpop/gremlin/driver/Client.java#L365). The former is tracked in the metrics of the server, but the latter seems to be an optional field that providers can use in custom OpProcessors. Are there any providers that make use of the old "userAgent" arg in the request message? I think it makes sense to support only the header version (for both WebSockets and HTTP) and deprecate/remove the one that is sent as an argument in the request body. They seem to serve the same purpose and having the user agent in the header is standard in more APIs.
Thanks, Ken
