Changing status to incomplete: unclear if this is really a bug, and earlier confirmation from refdoc turned out to be a different issue.
Changing status to incomplete: unclear if this is really a bug, and earlier confirmation from refdoc turned out to be a different issue.