&c6-in-texinfo-inst; &aa-texinfo-desc;