Doc improvements, compilation

[Brad Anderson]

On Monday, 29 July 2013 at 19:03:25 UTC, Luís Marques wrote:
> 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?

I believe it just changed the ordering so that the jump list was 
made before the hyphenation pass but I could be wrong here.