Remove incorrect section of implementation-notes.txt