Good point. 

I will submit a new patch later today. 

On Thursday, March 10, 2016, Kyle Meyer <kyle@kyleam.com> wrote:
Kaushal Modi <kaushal.modi@gmail.com> writes:

[...]

> -      (message
> +      (message "%s"
>          (substitute-command-keys "\\<org-mode-map>\
>  Edit formulas, finish with `\\[org-ctrl-c-ctrl-c]' or
> `\\[org-edit-special]'.  \
>  See menu for more commands.")))))

There are a few other places in Org that call
"(message (substitute-command-keys ...))".  I'd prefer this patch to
take of them all in one go.

--
Kyle


--

--
Kaushal Modi