It's certainly possible that we don't. I never saw a 'paused' property mentioned in the mozilla documentation so I'd assumed it was something synthesized on the audio object and that we had to maintain its state manually. If it is part of the spec, then I've added some extra (and redundant) work :)