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