Refined interactive log dumping.