<font face="Verdana, Arial, Helvetica, sans-serif" size="2">Originally posted by ExMo:
The Star file rule involved states:
... </font>
So it does! Silly me not to have started with the rules. I had thought this would be too subtle a situation to be explicitly discussed in the rules, but clearly I don't give the rule-writers enough credit.
Thanks, folks. Much appreciated.