gijs bonked 23 Mar 2026 16:19 +0100 original: Pol@mathstodon.xyz @minad Finally, a good reason to switch to it !