bob.extension already takes care of six user-guide binding

4 jobs for conda-ci in 8 minutes and 51 seconds (queued for 11 seconds)