Changes for list_to_set_comprehension keep coming in, and it seems to be not quite stabilized yet. Where is the NEWS entry that tells users what to do in case of failure? Yesterday I have tried to sanitize AFP/JinjaThreads in other repsects, but it did not work (the approximative versions are Isabelle/2aec4b8cd289 AFP/6ac7d314792d). Makarius