Add a Lenaledian comment block re pretty-printing