<div dir="ltr"><div>Hi<br></div><div><br></div><div>I've forwarded the original post to the addresses on <a href="https://ctan.org/contact">https://ctan.org/contact</a>, namely <a href="mailto:webmaster@ctan.org">webmaster@ctan.org</a> and <a href="mailto:ctan@ctan.org">ctan@ctan.org</a>.</div><div><br></div><div>with kind regards</div><div><br></div><div>Jonathan<br></div></div>