script to download labels from gmail and apply them on offline copy of your messages (as additional header or as tags in notmuch database)