Even better when someone makes the exact same PR and it gets merged a few days after being opened and yours left unreviewed.

Go ahead, move to China and say your opinion on the street.

Can we stop normalizing calling everything and everyone a Nazi and to normalize Nazi symbolism? I don’t know how familiar you are with German history in detail, but it’s way worse than what most people actually know. There is a reason why there has been a strict difference between Nazis and Neo-Nazis after the second world war. Sadly that distinction has been lost to the new generation now apparently.

Ah yes, big fan of wasting so much food.

In the presence of a supermassive black hole, pi gets bend.