Document the change to system_filter_user's default.