History Manual/Introduction/convenctions.texi