Wei Dai comments on Wei Dai’s Shortform

[Wei Dai]

Ok thanks, I put in an edit to note your point.