Have my doubts on that.I wonder if County is still the favoured term locally, I know as a teenager in the 70s in Nottingham, it was County, without exception.
The early to mid 70s certainly Notts were the team to follow while the other lot fumbled around not doing much in the old first division.
Then came a Boxing day local derby in the old second division which Notts won leading directly to a change of manager across the river with one Mr B Clough being appointed. The rest as they say is history. Now if Notts had lost....
But, thats a bit like how they were the first team to be relegated after the league was first expanded. They lost a "test match" against Darwen who were the champions of the new Second Division and as a result relegated despite finishing 14th out of 16th on 24 points. Bottom with 6 fewer points, were Newton Heath, later renamed Manchester United. Now if the bottom side had been relegated...
Incidentally 15th was the original Accrington with 23 points.
Yes often they are referred to just as County but the shorter name IME is commonly used.