History manual/resource.texi