DW11 comments on Richard Ngo’s Shortform