Rewrite the documentation for selecting diff revisions.
Review Request #4783 — Created Oct. 17, 2013 and submitted
Rewrite the documentation for selecting diff revisions.
Our nice new revision selector UI is hopefully pretty self explanatory, but all
the same, we should document it. The nice thing about this new UI is that it's
much easier to explain how to choose an interdiff.
Generated HTML docs.