FYI, my new Miro packages (formerly known as Democracy Player) have now reached unstable.
After lots of ugly, ugly trouble with even getting a successful build (boost/python/dbus related, you don't want to know) the packages are back in shape now, with tons of fixed (or no longer reproducible) bugs and lots of upstream impovements and new features.
If you reported a bug against Democracy Player, please try the latest Miro package and check if it still occurs, thanks!
The upgrade should be seamless, your existing config and videos will be migrated from
~/.miro automatically upon the first start of Miro.
Some of the new/fixed things in this release include: