Thanks for the recommendation. I knew org-mode exists, but I've only ever used emacs for proof-assistants which have no other ide-support. I guess I should at least give it a try.