Awesome! I just had time to look into it again now. I enabled the “Update file modification timestamp when files are modified” setting (which I feel should be enabled anyway…) and this indeed fixed the issue. It’s even much faster than in the past now (< 1s).
Thanks a lot!