New comment by tornaria on void-packages repository

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

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.

Ok, so we might as well `rm -rf` the whole redundant thing (and maybe redo the symlink) in `post_install()`. Or maybe just ignore, gap-4.12.2 is saving 120MB because datafiles are compressed so 1MB of redundant header files is nothing...