[jupyter_server.serverextension]
hugr_perspective = hugr_perspective
