[PLAT-3761] Don't duplicate configuration, platform and library details when formatting output