DEPRECATED GUC: should be in doc and mention that they are deprecated; should show in hawq config
guc.c identifies the following documented GUCs as deprecated:
the following deprecated GUCS are not currently documented:
tag the documented deprecated GUCs as such. deprecated GUCs that are not documented will continue to not be documented!