notes.md: Section 3.3: give names to packets