Yes, I wonder how best to propagate this option all the way back to the user ?