New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/26000#issuecomment-773940670

Comment:
5.10 is now available for Raspberry Pi. Should it be updated in a separate PR or here?