@peterrowlett @rmathematicus @Talithin I've spent half an hour looking for any information on what he did, and it seems none is available