First off (before I get into my whining

), I just want to say I've been using this ROM for a few days, and it's been 100% quick and solid. I can't recommend it enough (even despite the headphone audio bug I'm seeing).
As for the headphone audio bug, as I said previously, I found an app in the play store that allows you to manually toggle the audio output between the speakers. However, I quickly discovered another annoying side-effect of the bug: the volume buttons don't work correctly.
When you click on VOL-/VOL+, it brings the audio slider up on-screen as expected, HOWEVER, the buttons result in an adjustment to the phone audio, not the speaker audio. It's not the end of the world, you just have to tap on the down-arrow to expand the audio sliders and adjust the speakers by hand, but it'd be great to have a device that works as expected.
Any idea if a patch for this is on the devs radar? Thanks!