>>>>> "Paul" == Paul Pluzhnikov <ppluzhnikov@google.com> writes: Paul> I realize this will need documentation update as well, which I'll do if Paul> this is considered reasonable. I think the idea is fine. Tom