On Sat, Jan 16, 2021 at 11:04:26AM +0000, Luke Emmet <luke at marmaladefoo.com> wrote a message of 47 lines which said: > Yes - it seems to be a molly brown bug. A side effect of crawlers is that they exercice a lot of code and find many bugs that would not have been detected by normal use :-)