New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/32559#issuecomment-904570417

Comment:
I get a lot of warnings like
```
=> WARNING: lean-community-3.32.1_1: removed empty dir: /usr/include/lean_ext/tests/util/numerics
=> WARNING: lean-community-3.32.1_1: removed empty dir: /usr/include/lean_ext/tests/util
=> WARNING: lean-community-3.32.1_1: removed empty dir: /usr/include/lean_ext/tests/shell
```