I see mentions of DejaGNU sprinkled around the tree. Do we still need it? If so, what role does it play? If not I'll sanitize docs and code that reference it. -- Sean Silva