Add comment about extra AUCTeX keys