Should I post this patch to the org-mode mailing list?