Ok, we have the answer:
"End the season now
The difference with this compared to null and void is that points achieved to this point do count. To even up the balance wherever clubs have played a different number of games, average number of points per game will be used to decide positions.
This would result in a minor shift in positions.
Arsenal would nudge ahead of Tottenham for instance, as would Sheffield United, into sixth, above Wolves."
At least that way we get St Totteringham's Day
https://www.bbc.co.uk/sport/football/52148768