Great script. one small fix needed though. this script retains the saved search across multiple logins. which is a small privacy irritation if multiple people are using the same system for gmail.