Link to doc.servo.org …
I think that's preferable to my homegrown upload script, which (for example) breaks when a repo moves between organizations.