> It may be worth documenting that you need to have DejaGnu installed. > > I think it might be helpful to explain here why one might want to do that. I've added suitable comments for these. Thanks!