Overseeding with a shade tolerant grass is logical. Just make sure the look is compatible with your current grass. ie color, texture, blade width, growth habit. If you have grasses that are different colors or grow at different rates, you end up with an uneven look all the time.

I wish they told what kind of grass is included in each of those choices. Since they only give general terms (like fescue), it's tough to tell what they're using.

If the dwarf fescue is a tall fescue, it probably doesn't spread much, but when it thins, it may be going dormant instead of dead.

I'd almost be tempted to go with the non mow over the super shade. I'm not sure I like the rough bluegrass and rye in the super shade. Even though it's designed not to be mowed, it will do fine if it's mowed. But it will do less fine if it is fertilized heavily.