Full threaddavid_draco·All I miss from nbsphinx is a "launch this in binder" button and a "edit this on github" button.View on HN