How include a javascript library in a Bokeh extension

My guess is that the Katex extension example follows best practice