Issue #6641: Renamed new page tree related TSconfig Options and switched off separate...