the user (unless a different encoding is declared); remove
user configuration of source encoding; all according to
PEP 3120.