Everything is duplicated in the GPL header anyway, and I can't get rid
of that.
-% \begin{meta-comment}
-%
-% $Id: strayman.dtx,v 1.4 2003/11/07 11:32:53 mdw Exp $
-%
-% Document class for Straylight manuals
-%
-% (c) 1996 Straylight
-%
-% \end{meta-comment}
-%
% \begin{meta-comment} <general public licence>
%%
%% strayman -- a LaTeX document class for Straylight manuals
% \begin{meta-comment} <general public licence>
%%
%% strayman -- a LaTeX document class for Straylight manuals