In all of the stuff I've read about the RPi 4B overheating, and all of the kits that I've seen with their myriad of heatsinks and fans, there is not one word mentioned about putting a heatsink on the WXL7704 power supply chip next to the power socket. It gets rather hot too. (Lower left in the images below.)

Is it just assumed to be OK when hot because it's a power supply chip and thus designed to withstand running hot?
RSVP, thanks.
RTS