agg.html: a few updates, especially to links