New comment by gunterkoenigsmann on void-packages repository https://github.com/void-linux/void-packages/issues/46293#issuecomment-1765300321 Comment: If you were willing to file them at https://sourceforge.net/p/maxima/patches/ it would make them more visible for the Maxima developers