Could support team on this forum answer this question, please? I’m wondering the same, how does one make changes in header-extensions.php in a child theme?
