+** New user option `mu-registration-file-coding-system-for-write'
+which is used when writing a registration file. The default value is
+`iso-2022-7bit'. Note that you should never set the value of the
+variable `mu-registration-file-coding-system-for-read' (which was
+formerly customizable) if you have no particular reason.
+