8.5.1 is out!

I’m not so sure that is the same as this “bug” (though I can’t tell if it has been officially labelled a bug …):