With a change to increase the line length to 100 characters by tabbott. Fixes #2665. Signed-off-by: Anders Kaseorg <anders@zulip.com>