New comment by fingolfin on void-packages repository

https://github.com/void-linux/void-packages/pull/41572#issuecomment-1414555458

Comment:
Reason for the change: the Debian maintainer complained about the symlink, implying this would cause all kinds of potential problems... In the end, I really don't care much either way :-). Longterm I hope we can get rid of this hack anyway, perhaps already in GAP 4.13.