Comment by tantalor

[Metapost] Can we unflag this? It's a good resource and shouldn't be suppressed just because some people don't like the tone.