So, in order to avoid polluting the parent theme, we put a new file in there and modify `functions.php` there too.

Or have I missed something?