> BTW, It has probably been asked before, but do we need these Origin
> tags?

i just copied this from the comments and - at least - it does not harm.
maybe - one knows whom to ask in the case some discrepancy arises etc.

pavel

Reply via email to