Doc improvements, compilation

["Luís]

On Monday, 29 July 2013 at 18:59:01 UTC, Brad Anderson wrote:
> A recent pull makes the jump to list generate before the page 
> is shown so we won't get it suddenly appearing anymore.  It's 
> not the jump to list that's slow, it's hyphenate.js that is the 
> bottleneck.  The jump list generation would happen after the 
> slow page hyphenation occurred.

Does that slow the rest of the page to the time it currently 
takes for the jump list to be ready? If so, is that not 
problematic?