Sorry, my mistake. I did not pay attention that their solution passes though their server.
So, really, separate plug-in may be a nice idea.
P.S. Did you see the Gmail Encryption Greasemonkey script? It’s a step in right direction, though JavaScript does not allow efficient implementation of resource hungry encryption/decryption.