I looked into it briefly, but kind of wanted to avoid a 3rd dependency (in addition to firepad.js and firepad.css), but the benefits might be worth it.  Any interest in making a pull request? :-)