- so that users can use PackageManager to install it instead of following instructions to put stuff manually in the filesystem - so that a package name is assigned that downstream packaging efforts (e.g. https://github.com/passagemath/passagemath/issues/1426) can refer to Previously suggested in https://github.com/gap-system/gap/discussions/6084#discussioncomment-14310958, but hidden without action