Ooops, I forgot to mark this as a bug on updates.orgmode.org in my last email. Let’s fix that.