Add AucTeX, minor layout changes