Comment by martingalex2

Isn't the point that now Andrej's published this, it will be in-distribution soon?