The documentation for ``CORE:VERSION`` says it returns a *VersionInfo*. But there is no documentation on what a *VersionInfo* looks like.