Yeah, I wonder why that got downsized. There's not much of a historic neighborhood structure to preserve and there are only a few homes left.
CMU seems to be assembling a lot of parcels in the area. Given how much is already taken up by parking lots and other commercial buildings, I'm in favor of the whole area being densified. It's not well suited to single family homes.
Check out CMU's master plan for maps of what they currently own:
https://www.cmu.edu/cdfd/process/mas...aster-plan.pdf