* New features:
 * Subscription overview
 * Proxy support
 * Statistics
 * Manual gpodder.net sync
* Fixes:
 * Audioplayer controls
 * Audio ducking
 * Video control fade-out
 * External media controls
 * Feed parsing