New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/34030#issuecomment-969053713

Comment:
I think we are still installing too much. Wouldn't it be enough if /usr/lib/sage was $SAGELOCAL?