#9442: do not document a specific format for sys.version; rather refer to version_info and the platform module.