copy model.txt and implementation-notes.txt from Java version, modify as needed