The problem is that the full set of specifications accumulated over three decades of usage is exactly as complicated as the code that still runs.

Just wait 10 more years and hope AI can solve it.

In the meantime, people can't renew their driver's license at 3:36. So what? Is that a requirement?