This page has moved to
https://libsemigroups.readthedocs.io/en/latest/.