- Menubar number of OSX, when asked to count only listed PRs, now responds to filtering as well, as filters can be persistent and used continuously
- Badging number on iOS icon responds to user changes correctly now
- Usual code cleanups