Redundant hotkey tooltips on Headings dropdown

[yaronf]

I'm running the editor on Android. When I press Headings, the dropdown includes hotkey tooltips (Ctrl+Alt 1 etc.). They are generated by Headings.ts, L18-L23.

The tooltips are irrelevant for an Android user and I had to remove them. But they shouldn't be there from the start.

There are several ways to resolve this problem, I'm not sure which one is best:

• Determine the runtime environment and avoid generating tooltips in some cases.
• Add a configuration flag to suppress them.
• Wrap them in an HTML class to make it easy to remove them.

Thanks!