Sean_o_h comments on Nick Bostrom should step down as Director of FHI