✏️ Editing: header_deprecated.hpp