The Devils addendum

Heh. Now that I went ahead and ordered one of those Korean copies of The Devils - wouldn't you know it, there's  BFI version coming out, promising to be the "original X certificate" version, and described as 107 minutes long, which, given PAL speedup, would make it 111 minutes or so - quite possibly the whole film. I'll believe it when I see it, but...