issue 250 - use unparsed server version in status bar, so decimal mark isn't localised.