New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/issues/47380#issuecomment-1839095337

Comment:
Moving tre to libtre and making agrep a subpackage agrep would probably improve things. :)