@Pol@mathstodon.xyz That was fast!