This doesn't have formatting (yet?) for notices aside from the basic italics. * design.texi: Move @ref's to end of sentence rather than treating as links on existing text. It otherwise formats undesirably in the PDF.