v2020-06-21

Improve robustness for notifications about arrived time

+ Use fewer threads: Use a single timer instead of starting a new task for each request.
+ Also, improve some names in the implementation.