grey out older versions in server list; fixes #43;