@ptr_yeung @MarkDiStef Basically, fun anecdote with pretty much no relationship with what would actually have happened search-wise.