Hi all. DocTor is no longer providing notifications. Its last successfully sent message was July 8th... https://trac.torproject.org/projects/tor/ticket/31743 Thanks, Juga, for the catch!