I made a inc folder in my child theme and copied the template-tags.php into this folder with the plugin author’s changes he proposed but it didn’t make any difference. In any case I think the issue is his plugin rather than your theme, so I shouldn’t really be editing the theme.