The gap-pkg-sophus project's README file is empty or unavailable.