Hi Paul,
I think a rename now would be better now, but maybe the same rename
should be done in many other places (docs, etc) to reduce possible
confusion even there.

Bye

Reply via email to