Doc fixes#420

james-d-mitchell merged 9 commits into

libsemigroups:stable-1.4libsemigroups/libsemigroups_pybind11:stable-1.4from

james-d-mitchell:doc-fixesjames-d-mitchell/libsemigroups_pybind11:doc-fixesCopy head branch name to clipboard