Github user PBGraff commented on the issue:
https://github.com/apache/tinkerpop/pull/772
I think that sounds like a reasonable plan and I would appreciate it if you
can cover part 4 on merge. I'll try to get to it soon. I understand that this
can get more complicated since I am proposing an API change, which I wouldn't
expect to be simple, especially for something more central. Thanks.---
