server-side-mustard-cut JavaScript, cookies, and a possible reload to get a server-side choice of documents. This is what we're currently doing for the CodePen Editor so I wanted to document it, since it seems to be working pretty well. Here's a demo.