Ninety-Three comments on Richard Ngo’s Shortform