I suppose I shouldn't be surprised at the negative response here, but personally this seems like the perfect application of LLMs. Yeah, it'll need to be verified by humans, but so would human-translated code. Using an appropriately trained LLM to do the first pass translation has the potential to eliminate a lot of toil.