Etymology
Today it means: A certain audio time stretching algorithm. Full definition →
Paul + stretch, after its inventor Paul Nasca.
Etymology from Wiktionary, CC BY-SA 4.0.