I think I have an explanation in a separate comment, see https://news.ycombinator.com/item?id=9091737