Was Mozilla's board taking an unnecessary risk by selecting Brendan Eich as CEO given his known political views?