Making the notes more formally part of the repo