Regarding getting gstreamer bad plug-ins 0.10.16 into Karmic-proposed, I guess I should should file a new bug.
However I'm not sure whether I should file a bug similar to this one, titled "Update to gstreamer bad plug-ins 0.10.16", targeted at the gstreamer0.10-plugins-bad package, or whether I should file a bug titled "Totem cannot stream MIDI files over HTTP", targeted at the totem package.
Regarding getting gstreamer bad plug-ins 0.10.16 into Karmic-proposed, I guess I should should file a new bug.
However I'm not sure whether I should file a bug similar to this one, titled "Update to gstreamer bad plug-ins 0.10.16", targeted at the gstreamer0. 10-plugins- bad package, or whether I should file a bug titled "Totem cannot stream MIDI files over HTTP", targeted at the totem package.
Any suggestions Sebastien/Martin?