File-level documentation for src/core/*/*.[ch]