bin/conn: back to verbose and status line
plumbing: allow parens in url
vimrc: commenting out scala and coq