Have I understood the last example right:

That the optimization option in Saxon EE often makes it not necessary
to use xsl:key but that in many situations you can obtain even greater
performance by fine tuning the match attribute by hand using xsl:key?

Cheers,
Jesper