Post #2590497

@constantine@types.pl Iirc @HarrisonGrodin@mathstodon.xyz was trying to do something like that in January, tagging him in case it's of interest!