Better, let's kill it and use the same header we use in `src/`.  Apparently I forgot to update this back in January.  My bad!