Re: autex-11.87 and the package hir.