Updated documentation for `server_version()' builtin.