Comment by jahvo

It's funny, I wonder if hearing about that github bug made them check if they had committed the same mistake... only to find that they did :-)