The Electronic Frontier Foundation has formally petitioned the Federal Trade Commission to investigate America Online for leaking about 19 million search terms used by 658,000 subscribers over a three-month period.