Miro 5.0.2 released and PPA installation instructions included

Miro (previously known as Democracy Player) is a platform for Internet television and video. It allows you to download and watch videos from RSS feeds (including podcasts, video blogs, and BitTorrent feeds).