$head()$ $banner()$

$if(next)$ <- OLD DUMPS $endif$    $if(prev)$ NEW DUMPS -> $endif$
$if(dumps)$ $dumps: { d | $logged_dump(dump=d)$ }$ $else$ No dumps! $endif$
$if(next)$ <- OLD DUMPS $endif$    $if(prev)$ NEW DUMPS -> $endif$