✏️ Editing: global-header-writer.js