Donovan YoungDyoung@mathstodon.xyzAug 25, 2023, 6:32 PMAnyone else get the "test for Ricardo" notification?
