update implementation-notes.txt