Interesting ; if you (or the person who found it) hasn’t submitted a bug report, I ask that you do so we can dig through the logs and see if we can figure out what’s happening. Thanks for the report, I’ll see what we can do and try to determine what the issue is.