HonoreDB comments on Poker with Lennier