Who uses AUCTEX and why · Kitlist