This patch cleans up encoding management, moving code to
its real position: The appearance settings widget.

In fact our code is actually changing "default" text encoding, not
the page one "on the fly"