Fixed. I don't understand why outdated diffs sometimes don't get folded in the web UI…