notes.md: Section 3.3: include into -> include in