bug#9054: 24.0.50; show source in other window

[martin rudalics]

> How about
>
>    Describe symbol at mouse click
>
> etc.?

I would try to avoid the term "symbol" in context menus.  Beginners
might not associate "symbol" with some sort of plain code they see.
Juri meanwhile uses "function" and "variable" instead but I'm still
convinced that explicitly writing out the symbol in the menu entry is
the best choice here.

martin