What do you think about this change?  I used ‘itemize’ to avoid
extraneous blank lines.  The only downside is that the indentation of
the ‘copyrights’ macro slightly differs from the surrounding text.

Karl, do you know a better way?