Changes in code only show after changing theme

In the end we disabled all plugins, then turned them on again, and miraculously – the problem disappeared 🙂