A few comments from the world of professional golf on the topic of Osama bin Laden's death late last night: