We should really stop shipping this, but I don't want to make
such a change on the day before a stable release, so I'll just
update it to avoid noise in diffs.