<div dir="ltr"><div>Hi</div><div><br></div>I think some recent discussions on this list should be noted on an issue tracked. We'd be in good company in doing this.<div><br></div><div><a href="https://github.com/MiKTeX/miktex/issues">https://github.com/MiKTeX/miktex/issues</a><br></div><div><a href="https://github.com/latex3/latex2e/issues">https://github.com/latex3/latex2e/issues</a><br></div><div><a href="https://github.com/pgf-tikz/pgf/issues">https://github.com/pgf-tikz/pgf/issues</a></div><div><br></div><div>By the way, a project can have a github issue tracker (and wiki) even though its git repository is empty!</div><div><br></div><div>-- </div><div>Jonathan</div></div>