Cherry-pick changes from main#426

james-d-mitchell merged 5 commits into

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

james-d-mitchell:stable-1.4james-d-mitchell/libsemigroups_pybind11:stable-1.4Copy head branch name to clipboard