Implement notification repeat feature.

As discussed and agreed on in #393.
Fixes #393. Fixes #1131.
?