It’s all over. Barring an electoral earthquake or a cardiac arrest, Joe Biden will be the Democratic candidate to fight Donald Trump for the US presidency in November.