You are right. The runner could get this information on its own, instead of relying on the formatter. PR? :)