Update debmetrics.html