Public manuscripts of Jason Redi (redi)