Thread:DatAsymptote/@comment-180.191.71.150-20150510123735

become an Admin? I'm an actual user hiding under anonymous name and am just asking. 