[jupyter_server_extension]
jupyter_reasonix = jupyter_reasonix:load_jupyter_server_extension
