w3m -> eww
org mode now automatically supports latex
agda upgrade