Let's wait a bit to see if @smichr knows. Otherwise, I guess this is a non-regression, so just add a comment.