smart-tab-mode interferes with indentation in agda2-mode