post_install() {
  echo 'Do not forget to set $EDITORCMD in ~/.bashrc (or similar)'
}