[Theme Horse Support Team]

hi p.hoedemaekers,

The search form code is located inside theme folder -> inc -> structure -> searchform-extension.php,
You may change it but if you change directly on the core file then while updating to our new version all your customization code will be lost. So better make child theme and customize the code to be safe from data update and loss.

Thank you!