Update index.md#19

vkrcadinac wants to merge 1 commit intogap-packages:mastergap-packages/gap-packages.github.io:masterfrom

vkrcadinac:patch-1vkrcadinac/gap-packages.github.io:patch-1Copy head branch name to clipboard