Helly-type theorems, CAT(0) spaces, and actions of Aut(F_n) - Bridson, MR (Advances in Mathematics, 2025)