@gwern @1thousandfaces_ hm, was 5.2 not a new base? i thought it was
same thread: 2037022379701137538 2037022382997868703 2037023409675059547 2037026195708272918 2037026608369066122 2037026681915937201 2037027496299016218 2037029843083383034 2037030333435011524 2037035288850292970 2037037507725189337 2037037707495702784 2037047536205390296 2037048743724531857 2037048950470172884 2037083899864727957 2037133519693242550 2037338464744792228
Reproduced against link rot, credited and linked to its original. Yours and you’d rather it weren’t here? Open an issue.