Note to all automakers: I haven't pushed this patch yet, because I suspect it might not be the best fix, or might even introduce new problems I have not anticipated. So, even if the patch is a regression fix, I will wait a couple of days before pushing it, hoping for a review in the meantime.
Thanks, Stefano
