Yes it's right, but I don't agree with it in the sense that I would claim we've played (as of today) 5,165 league fixtures in the pyramid.
Going by the "Notts have played 4,995 FL games" logic, that would mean we'd have to stop counting if we got into the Premier League because it's a "different" competition.
Drives me mad when commentators talk about stats relating to top flight clubs that ignore all of the season's they were in tier 1 when it was still part of the FL, 1992/93 is a totally arbitrary cut off point - it would make more tangible sense to start with season 1995/96, since when the top flight has been 20 clubs rather than the 22 it traditionally was in FL days, or the season VAR was introduced where we've effectively then got two totally different game rules - like Rugby Union and Rugby League.