pressure cook: Add the potatoes, water, salt, garlic, rosemary, and thyme into the
instant pot (affiliate link). Cover, seal the valve and cook on manual high pressure for 8 minutes. Don't wait for natural pressure release on this one, immediately turn the knob to 'vent', drain the potatoes, and discard the herb sprigs. You can keep the garlic or toss it out. I left it in (they mash and blend in so well!)