hub-docs

docs: make server-side repo→bucket copy easier to find

#2519

Merged