Documentation

A filepath like x86_64-linux-7.6.3 with the platform string to use when constructing platform-version-dependent files that need to co-exist.

'ghc-pkg' falls back on the host platform if the settings file is missing, and so needs this since we don't have information about the host platform in as much detail as Platform, so we use PlatformMini instead.