JFK

We experience linux audio troubles - apparently updating causes settings to revert defaults, among other things.