The code from previous submission [1] and discussion [2] of two months ago has now been made available<p>[1] <a href="https://implement-dns.wizardzines.com/" rel="nofollow noreferrer">https://implement-dns.wizardzines.com/</a>
[2] <a href="https://news.ycombinator.com/item?id=35916064">https://news.ycombinator.com/item?id=35916064</a>