btw: A631 in Bordeaux is stilk signed on mileposts, see GSV which is also confirmed by MH but it was rededicated in November 2017, see wikisara.
It's not signed on signs as anything other than E72 though, and it went from CHM about 2010.
I could add it to eursf, like the other unsigned autoroutes - the A516 (the one you asked for) having been downgraded last week setting precidence for former autoroute being there, but as it's already in eure, I'm not minded to do that.