Comments by "rondhole" (@rondhole) on "Binkov's Battlegrounds" channel.