New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/pull/12714#issuecomment-507035670
Comment:
I'd say leave it as it is. Just remember the fact in case it's causing problems for somebody later on... I could imagine a GUI input field where you enter a font name, and which strips leading / trailing blanks, but I don't know of such an application :)