New comment by ahesford on void-packages repository

https://github.com/void-linux/void-packages/pull/46118#issuecomment-1724712185

Comment:
Whether you consider the addition of `nerd-fonts` to the repo a bad idea is irrelevant, because it is not your decision. We will not accept a PR that removes well-maintained packages from the distribution when the maintainer of those packages objects. Furthermore, you can avoid downloading the large font package and "download the [reduced] versions of fonts [yourself]" if you like.

If your PR offers some additional fonts that are not already present in the `nerd-fonts` packages, please separate the useful additions from the proposed removal and replacement. Otherwise, the PR is not suitable for merging.