That makes sense though. I can hardly imagine any effort put 10.000 years ago that would be valuable now, with the technological difference.
At some point your descendants will be too far to remember the reason but not far enough to need it and they’ll stop wasting resources on a nothing activity.
Then in 10,000 years, find that an entire religion, culture, and wars were built around the simple maintenance instructions.
So we have to assume we will maintain the ability for human Mars travel in ten thousand years, that anyone can read English or whatever in ten thousand years, and that the supporting religion didn’t lose any of its wars.
To put this in perspective our first evidence of any human agriculture was 12,000 years ago.