Fixes #8: Stop using time to decide which notifications to ignore.

I used a pull request for this so that the fix could be separated into logical commits.