post_install() {
  echo "TIP! Run 'tulizu doc man' to become familiar"
}