Another advantage of gmailctl is it uploads the filters using the API, so you don't have open Gmail settings and manually import an XML file.