New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/issues/23639#issuecomment-660661855

Comment:
I think this only affects HTML man pages?