20080710 tech: Gmail gets remote log-off feature