Removing `Higman` and `almost-full`, because they are now in separate repositories.