Text this: LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving