I’m a little cautious about deliberately eliminating a species, even a harmful to humans one. The environment is a complex system, and sticking our monkey hands in and pulling leavers can backfire in unpredicted ways.
What other environmental effects do the mosquitoes have? Do they control some other pest species? Are they food for something larger? Does the additional infection vector of mosquito bites significantly improve the general immune system functions of humans or other species bitten by these mosquitoes?
Hal Finney has not died, he has entered long term cryopreservation . Death is permanent, Hal still could get better.