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
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