History Manual/Introduction/copying.texi