Aha. I see the IRS now has a way to pay 1040-ES online. They probably had that for years but I never bothered to look for it before.