![](https://secure.gravatar.com/avatar/14142df6d440db0851221918d4e89a7f.jpg?s=120&d=mm&r=g)
10 May
2011
10 May
'11
2:10 p.m.
On May 10, 2011, at 10:56 AM, Steven Bellovin wrote:
On May 10, 2011, at 9:07 11AM, Marshall Eubanks wrote:
Has anyone converted that file to some useful format like ASCII? You know -- something greppable?
I've converted it to ascii, but I don't have a place to host it. I can send to anyone that would like it. -wil