Looks like I forgot to mark this patch as applied on updates.orgmode.org.
Let’s just quickly fix that…