Add doc about which online collab tools we use