This contains the slides for an informal talk 23-2-2026, see the disclaimer here: https://tvpollet.github.io/disclaimer/