I think the same.
I would've said that he just didn't know who was the Robin who died, or that even Jason exists. But as far as I know, the guy is a comic reader; so I guess he just used Robin for building Batfleck, and now it doesn't make much sense overcomplicating a universe with more Robins now that is pretty much a dead verse. So Dick it is.