/* Intentionally empty: keep file to avoid mkdocs config churn. */