> people would say you need to cook onions for 10 minutes, while onions take close to 25 minutes to be cooked

It's up to recipe author to define what they cook and how. If you think 25 min is better, fork it.