Repeating hearsay is not helpful in a technical discussion. I very seriously doubt the belts shrink when hot. Much more likely the drive and driven pulleys expand due to heat (especially the original alloy driven pulley) causing the belt tension to rise with temperature. Which could be misinterpreted as a 'shrinking' belt.
probably true but the end result is the same, a tight belt.
