Comments by "Rogerborg" (@rogerborg) on "Donut" channel.