org.texi: Enhance style.