Filter plugin for chrome-edit-server allowing one to edit Gmail messages - View it on GitHub