4 ms·Agreed, pragmatically a separate header is a dubious choice. Semantically it is equivalent though.by dottedmag 4y agoAgreed, pragmatically a separate header is a dubious choice. Semantically it is equivalent though.