On sabato 02 gennaio 2021, at 15:54 +0000, Steve McIntyre wrote: [snip] > It *looks* like this was just an old cache used by the xapian search > indexing. I've cleared and rebuilt the index from scratch and that > seems to have solved the problem. Thanks a lot for looking into this and fixing it. Beatrice