Talk:Level 3815/@comment-26190381-20181003171219

Have just read DJB’s post. She will be missed.