Github user spmallette commented on the issue:
https://github.com/apache/tinkerpop/pull/837
Nice cleanup of the download page. Note that we only deploy the `/site`
from `master` so you typically just need to update that, but I guess that would
have just meant another PR to keep track of.
btw, any reason you organized these two PRs this way? i would have merged
#836 to this branch and then applied my additional changes just for tp33/master
and this PR. in that way you'd have resolved conflicts here for us to review.
---
