Surely that's not a value that we expect users to be able to edit. Ispg_config_manual.h just abused as a place that's included everywhere?
(I suggest utils/guc.h as a better place.)