Mastodawn

ooh, I didn't realize that the playback speed adjustment that browsers have built-in allows you to disable pitch correction!
https://developer.mozilla.org/en-US/docs/Web/API/HTMLMediaElement/preservesPitch
I wonder if the primary motivation for adding that flag was nightcore

HTMLMediaElement: preservesPitch property - Web APIs | MDN

The HTMLMediaElement.preservesPitch property determines whether or not the browser should adjust the pitch of the audio to compensate for changes to the playback rate made by setting HTMLMediaElement.playbackRate.

MDN Web Docs