See the [parent Makefile](../Makefile) for generating reports in this directory.

Note that we do not add the reports to git, so this directory will be
empty with a fresh checkout.