RE: doc patch: clarify the naming rule for injection_points

[Hayato Kuroda (Fujitsu)]

Dear Michael,

> Thanks, I've applied some slight tweaks, and applied the result down
> to v17, leaving the heap_update point alone.

Thanks, I confirmed your commit on HEAD and LGTM.

Best regards,
Hayato Kuroda
FUJITSU LIMITED