/* See LICENSE file for copyright and license details. */
static const unsigned summarylen = 70; /* summary length in the log */