Thank you both for your input! I have been editing the child theme files, but this particular file didn’t seem to have an impact when changed in the child theme folder. Even after flushing the cache.
I’ll start from scratch and try to edit the child theme again, see if I can’t get it to work.