I have now tried hwmonitor, and it does report the same thing. Here auxtin is very hot.
The temperature does seems to vary some, between 73C to 85, so I guess it is reading something and not just displaying some random value.
What could that be? And what can I do about it?