Thanks for the suggestion.

I changed this (in includes/languages/english/mc001/header.php):
define('HEADER_SEARCH_BUTTON',' Search');

To this:
define('HEADER_SEARCH_BUTTON','<i class="fa fa-search" aria-hidden="true"></i>&nbsp;Search');

A weird image then appears, instead of the expected change. Did I do something wrong?