Government formally drops charges against Aaron Swartz · HackerTrans