I remember using that extension a while ago, and I forget why I found it lacking. It seems to work pretty well now. Thanks for the reminder.

Yep. It has other features that I never use, but the media key functionality is great.