Usage before theory in the documentation
Merge branch 'master' into keep_unused_pebbles