@cammakingminds I don’t think those are mutually exclusive and they also leave many degrees of freedom (eg what’s the consistent identity they’re defending?) but overall I think I’m more excited about the latter
same thread: 2019552312516309436 2019553415651877201 2019555030232359165 2019555688457142360 2019558426905571557 2020523297612452139 2020524283798200560 2020527025727914151 2020529994284601704 2020532088701640798 2020532549617942923 2020535095396798867 2020535488629670340 2020536400416743928 2020542596532072896 2020543102918754438 2020545201530703940 2020546465299644553 2020547105530523921 2020547935939985815
Reproduced against link rot, credited and linked to its original. Yours and you’d rather it weren’t here? Open an issue.