New comment by Eloitor on void-packages repository

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

Comment:
> Is there a reason to use this over maintained lean-community?

Not really. This is the first template that I try to write, and I got recommended that the official lean has more chances to be included in the repo than lean-community.