Comment Comment by foldr It’s possible that they made a mistake. I just think it’s unlikely that they’d have published it without confirmation. parent foldr 2 years ago