“Is the ps4 pro being discontinued now that the ps5 is out?”