> Could you please also push an additional patch that fixes
> a race condition in flymake. The problem is that currently
> flymake starts even when flymake-mode is disabled.
More problems: when an error is shown in the tooltip, currently there is
no way to copy a solution sometimes provided as part of the tooltip text.