The note-books and papers of Gerard Manley Hopkins,