fixed: disabling smart-tab in agda2-mode
personal.org: added files to agenda