The inner workings of Change tempo in Audacity

See here: https://forum.audacityteam.org/t/time-stretching-and-pitch-scaling/8910/1