The hotfix introduced in https://github.com/trixi-framework/Trixi.jl/pull/2775 has to be removed when the upstream issue has been fixed.
The hotfix introduced in #2775 has to be removed when the upstream issue has been fixed.