Royal Dutch Shell is on the brink of a historic step. If, in the following six months or so, it appoints Linda Cook to be its next chief executive, it will become the first oil major to have a woman chief executive and the biggest company in the world in any industry to be led by one.

Yet the prospect of such a noteworthy move has inspired a muted reaction from industry observers.