#!/usr/bin/env bash
set -euo pipefail

SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"

# Backward-compatible wrapper: the canonical launcher is now launch.sh
exec "$SCRIPT_DIR/launch.sh" "$@"