New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/issues/41204#issuecomment-1361491772

Comment:
Do you have a comparison between packages built with each version? We will definitely not downgrade a core package like this just because one user prefers it. Void may not be the best choice for you, I think that the space saved by using an old version will be tiny if any and not splitting docs and manpages to subpackages will be a much bigger issue.