+ \item \cmdname{AUC\TeX} is available independently from
+ operating system and platform with the package manager
Thanks. I will change the entry along those lines (in a while).
And glad you could hack the auctex improvement. --best, karl.