haskell: better background colors for structured haskell mode
add coq and proof-general
agda: use nixos-built stdlib
change org-mobile webdav url
org2blog setup
agda mode path
fix theme paths
fix theming
upgrade agda
stop using the local-tunnel for news
org-mode: cleanup
fix idris-mode