That file in turn includes a few other public header files but you can
basically pretend they don’t exist. (Historically speaking, we started out
slightly different but over time we have stabilized around this form of only
using a single one for includes.)