> > However, I've posted a pull request to update the website with the new > location of the GAP mode which Dima supplied; see < > https://github.com/gap-system/GapWWW/pull/205>. > Thank you, this is what I had in mind. Mathieu