[Rivet] rivet-mkhtml output requires network access

[David Grellscheid]

Hi Andy,

On 03/11/2015 21:29, Andy Buckley wrote:
> Sounds good to me. David G, could you do the necessary fiddling? ;-)

Sorry, not unless we've got a really good use case. There's just no 
proportion here right now. By default it's far too large (50 MB), and 
the effort spent on figuring out what can be safely left out of the 
shipped build is completely wasted since 99% of users have fast 
connections anyway. I would just optionally disable the <script> tag as 
a flag on the python script.

See you,

   David