ToolTipTextMatcher now supports mnemonic characters. Fixes #778
Do not include disposed servers in servers list. Fixes #789