cpach requested that we replace <a href="https:&#x2F;&#x2F;www.jwz.org&#x2F;doc&#x2F;cadt.html" rel="nofollow">https:&#x2F;&#x2F;www.jwz.org&#x2F;doc&#x2F;cadt.html</a> with a link to the archived page in the comment above.<p>Since this subthread no longer applies, we&#x27;ve detached it from <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10655253" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10655253</a> and marked it off-topic.