docs: document the integer encoding used by CodePcGroup and PcGroupCode#6441

fingolfin merged 4 commits into

gap-system:mastergap-system/gap:masterfrom

mvanhorn:fix/6419-2026-06-12-1011-docs-document-pcgroupcode-encodingmvanhorn/gap:fix/6419-2026-06-12-1011-docs-document-pcgroupcode-encodingCopy head branch name to clipboard