By the way, the encoding of this file has been incorrect since bc9ddb6b.

-[Unknown]