pull down to refresh

This should be fixed now.
(It was caused by us not testing your notification preferences with some recent changes.)