* In copyright file, more clearly annotate the two copyright files.
* Process `10x20' too. (It was shifted down a pixel during the
conversion; we don't undo this, yet. So far, we just fix the quotes.)
* In copyright file, more clearly annotate the two copyright files.
* Process `10x20' too. (It was shifted down a pixel during the
conversion; we don't undo this, yet. So far, we just fix the quotes.)