<div><br></div><pre style="font-family: monospace; padding-top: 8px; margin-top: 0px; border-top: 0px; white-space: pre-wrap; color: rgb(0, 0, 0); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;" class="message">This link might convince you to act on this issue now: <a href="https://lists.torproject.org/pipermail/tor-talk/2018-January/043889.html">https://lists.torproject.org/pipermail/tor-talk/2018-January/043889.html</a><br></pre>