EDIT: Sadly, this extension no longer works.

Without this extension, I would have had to switch to Chrome (gak!). Easy to add new abbreviations and easy to use them, without some awkward combo-key construct. Thank you!!!