Indeed. And there should be plenty of them, given that a large fraction of all stars (evidently including these three) are K-type orange dwarfs slightly smaller

Indeed. And there should be plenty of them, given that a large fraction of all stars (evidently including these three) are K-type orange dwarfs slightly smaller and cooler than the sun. They last tens of billions of years on the main sequence, burning their hydrogen at a leisurely pace. A large majority of stars born back then should still be alive and kicking long after the sun is gone.