dirk comments on kavya’s Shortform

[dirk]

Gwern’s made some suggestions along similar lines.