Headers

brickoderequested to merge
(removed):headers into pregmod-master

Moved all header-related changes out from !10150 (closed) for easier review.

Merge request reports