implementation_notes.md: checklist update