Robert Dale quietly pointed out to me that the TinkerPop hipchat channel is dead. Given the error I'm seeing I'm not sure if it's dead dead or just some SSL stuff causing trouble for Apache Infra, but either way, no one is ever in there so we opted to just kill the dev docs referencing it:
https://github.com/apache/tinkerpop/commit/81577d5f6ebbe41ff4ca689dfd1a9264d20e28fe#diff-7e52e1ff026c32309a256fbea84db526 I don't see any reason to investigate it or bug infra about it. I think we should just let it go since we don't use it.
