implementation_notes.md: update:checklist