The File->Recent Servers menus seems completely non-functional to me (v 6.12). The list of servers is fixed and unchanging and does not reflect any recent servers I've connected to. Also, the "Clear History" menu item does not clear this list as I would expect it to. How does this menu work? Is it broken?