New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/35907#issuecomment-1140037684

Comment:
Maybe we should package https://github.com/leanprover/elan too... Different lean projects require different versions of lean, and `elan` ensures you use the correct version with each project.