2019-07-17 Binder and javascript

I’m not an expect in javascript and I usually do not look why my script does not work for a very long time if the first try is not successfull. I found RenderJsDot quite useful to display graphviz graph in a notebook but for some reason, on Binder, the option local=True must be used to make it work. You can check what works and what does not on binder.