Oops, I forgot to mark this patch as applied for updates.orgmode.org.
Done in this message.