New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/32556#issuecomment-900653873

Comment:
IRC suggestion to name this lean3, since 4 is supposedly coming out soon.