Wirth is still tweaking its code, you can follow news here: <a href="https:&#x2F;&#x2F;www.inf.ethz.ch&#x2F;personal&#x2F;wirth&#x2F;news.txt" rel="nofollow">https:&#x2F;&#x2F;www.inf.ethz.ch&#x2F;personal&#x2F;wirth&#x2F;news.txt</a>