Conte por que você acha que a classificação de “elpa-agda2-mode” deveria ser diferente. Citações de fontes ajudam.