Have not looked at any fancy pulseaudio setups. I don’t want to maintain them on my machines over time, as I use these headphones with 4 different devices :)
Good news is that there's some more activity towards upstreaming them; at least in my experience, they Just Worked(TM) as far as the system automatically selecting LDAP or AAC as needed.
