agda: upgraded pkg
haskell-mode: save-override is now handled via hooks (automatically)
add a ssh-tunneled backend for news via localhost
generic browser handling