Feature demos

Text selection

The browser selection mapped to the text index: per-page ranges, PDF-space quads and clean text (lines joined, hyphens removed). Copy gets the clean text too.