%% Put a chunk of text in a box.
\newenvironment{boxy}[1][\q@]{%
+ \savenotes
\dimen@\linewidth\advance\dimen@-1.2pt\advance\dimen@-2ex%
\medskip%
\vbox\bgroup\hrule\hbox\bgroup\vrule%
\endminipage\hskip1ex\egroup\vskip1ex\egroup%
\vrule\egroup\hrule\egroup%
\medskip%
+ \spewnotes%
}
%% Lisp documentation machinery.