Since when are we accepting issue reports on GitHub ? I was surprised to see them, as I'm pretty sure I had them disabled when I first started the mirror ? --strk;