(TXT) AnonymousPro.dtx
 (TXT) AnonymousPro.ins