You have a point, some of those records might be from time when there was that older GE. Also, leagues were less competitive. But still, records will probably be achieved only when one team is bot, or intentionally plays backups or something.
I think adding the current season records is good enough.