History manual/contrib.texi