I wrote:> Just to bikeshed a bit ... would "castNode" be a better name?
Um ... -ENOCAFFEINE. Never mind that bit.
regards, tom lane