Out of interest, given the match patterns:

match="foo[//bar]"

match="foo"

Should the former be avoided, or because it's within a match pattern
it's converted to a simple lookup so it's fine?

(I realise this is implementation dependent, just curious)