Hi Hans,
Yes, that’s what I was trying to find out. It works now! Thanks a lot for your answer.
Best,
Rubén
PS I understand the index.php file may be replaced when there’s an update of the theme so I’ll have to replace that code again, right?