Only print configuration values after they have been sanitized.
Document new configure options in INSTALL.