This header is only ever used inside `src/`, so we might as well move it there. As a drive-by this also removes some dead code.
This header is only ever used inside `src/`, so we might as well move it there. As a drive-by this also removes some dead code.