Talk:Level 3452/@comment-26190381-20180613174747

Ditto DJB.