don't require webkit any longer for documentation tab in the editor (see JBTIS-254)