Extract all the names of people from this article about Robert Ball.

Bob Stawell Ball, Mary Ball, Robert Ball, Anne Ball, Mary Ball, Bent Ball, James White, William Todhunter, William Thompson, Robert Patterson, George Hyndman, Edward Forbes