It’s so terrible that people are led to believe that their death is worth so much. This poor man lost his life, literally the most precious gift given to you, because he believed that losing it in protest would maybe make a change.
But the sad reality of it, is that he’ll be forgotten and ignored like so many others. He could have made more impact by living.
Thankfully, despite naming them like that, it doesn’t actually seem to have any real purpose. Apparently they just wanted to make sure that different companies making different libraries didn’t accidentally use the same name for their project…