dev notes: Draft IPT algorithm: note re intro pt verification (followup)
This is the responses to comments from !1429 (merged), which apparently I didn't push before we merged that yesterday. This should be uncontroversial. It does not include changes apropos #966