ignored because it can only be set at server start.  In particular,
hiding the main reason in the detail message was suboptimal.