This file is, surprisingly, not the README. It is used for multifile tests. It is also smaller and therefore compiles faster.
Toplevel: OurBigBook Project.
Non-toplevel: internal cross reference.
Here we include another file from this file to see if recursive includes work from the toplevel: