Reply to myself and others. I used two different plugins to create a child theme, so the above problem is solved. HOWEVER, the child theme only shows the original Hotel theme with the default setup and nothing of the changes in content I already made.
How can I change this?
BTW I’m surprised that after almost 24 hours still no one of SKT has bothered to reply.