@ColinTheMathmo@mathstodon.xyz one wonders if a significant fraction of people know about this... I'm sure we can easily rationalize any observations.