Improve the noddy repository dump script