For offline use, it is necessary to always have it locally available (and harmless, because pensieve gets downloaded with /inst anyway, and is slow).
For online use, it would be better to use the hosted version on Google CDN, because then we can use existing caches.
So, we need some js at some point which checks which of the current scenarios is true, and choose the dependencies accordingly.
(jquery and friends).
For offline use, it is necessary to always have it locally available (and harmless, because pensieve gets downloaded with
/instanyway, and is slow). For online use, it would be better to use the hosted version on Google CDN, because then we can use existing caches.So, we need some js at some point which checks which of the current scenarios is true, and choose the dependencies accordingly.