On 4/25/13 12:21 AM, Jeffrey Blank wrote: > Um, nothing anymore. It's a vestige of some earlier code, which > involved grabbing the extended definition info here (instead of > above). I just amended my commit to remove this. Ack