> because it's interesting and a milestone in the breadth of test coverage it can pass.

Sorry, no. Let me be candid and point out that this has achieved exactly nothing except lighting $8k on fire.

Put it this way: if I suggest to my boss, "I want to spend $8k of company money to port git to Rust to just see how many tests can pass in that project, even though I don't plan to develop new features with the project, and I don't care about adoption", he is going to shot down the idea in half a second and seriously question my competence.