Yesterday, we posted an update to Democracy Player that fixes a couple rare bugs people had reported. We are now at version 0.9.0.1 (yes, we know that number looks dumb). If you’re having problems, get the updated version. Otherwise, chill. We aren’t planning to turn on the auto-update notifier, because there’s no need to hassle most people to get these bug fixes.