implementation_notes.md: update of checklist