This replaces an out-dated guideline about declaring the source encoding
at the top of each source file.