Doc bug: Customize->AUC-TeX->Indentation