FTR, I love hard (really soft) boiled eggs. Over the years, I've read every expert on "how to". The easiest way is to steam them for 9.5-10 minutes for almost hard boiled and dunk in ice water...the shells fall off. I love egg salad (Martha Stewart's recipe) and it's simple to cook and peel those eggs. I eat hard boiled eggs pretty much every day for breakfast.
That said: I tried this in the Instant Pot and went with 10 minutes to get hard boiled...I watched YouTube and never got to the point of watching them cut into the egg.That would have told me that the eggs turned into rocks at that time!
Now, I'm back to basic egg cooking; stove, pan, water, lid. 9.5 minutes and I have perfect eggs to microwave to warm up. Also, I do "steam" them them, not boil. I've BTDT, not as good.
Here is a site I like: he's a chef, who's recipes are on All Recipes--Chef John, with cheeky jokes and video's on how to cook:
Chef John How to Make Eggs
I don't know much, but I can make eggs! ?