post_install() {
  echo """
  For user documentation, visit http://bandicoot.mit.edu/docs/
  """
}
