make easy to switch to other-other-... windows
golden ration windows
add package documentation to recompile-on-save
C-x K kill-this-buffer-and-window
trigger automatic recompilation of prove buffer
org-babel languages