It ought to be in the main config, or at the very least not accessed by a button
that says "server info" and has a little "i" in a circle.  Those cues suggest
read only info, not config.