jjames pushed to libsemigroups (f27). "New upstream version."