[jupyter_server.extension]
jb_toc = jb_toc
