backwards compatibility fixes to ensure that the new json parser keeps working with the old-style prettyprinter config files, so we lose no old site-info.