It seems a mention that the issue is known to Tor and being remediated should be higher in this article.