Good question.
I would hazard a guess that its a temperature related condition maybe ?.
So, the battery SOC hits the 80% ( but did it ) level then stopped charging, ambient temp drops and also battery itself cools down, so in the morning it reports a slightly lower figure now.
Or, say you have a preset "finish" time to align with the end of your cheaper off peak rate.
It hits this time line and the charging has stopped JUST before you reached the 80% SOC level you have pre-set.
My feelings are that if you left it plugged in at it's present 72% SOC level, then depending on the ambient temp, then the following night it should have picked up on the 80% target and commenced a short charging cycle ?.
However, I am not sure that is a great idea to be totally honest especially on the LR model with the NMC battery chemistry.
Each battery charge cycle is counted, if you get my drift, therefore charging again from 72% back up to 80% just to gain that very little extra range is not really worth it.
The standard range model with the LFP is a slightly different situation.