As some users have correctly observed, there is a small delay from when particular preferences are changed in the preferences screen to when they take effect in the app. This is a workaround for an oddity of Android where separate processes cannot access the correct value of Android’s SharedPreferences. I put the delay in as a workaround so the service always sees the correct values.

I am working on a possible fix which would obviate the delay, but it may not work out as the perfect solution, so bear with me. I will backport the fix to 0.8.0 if it works out.