Thanks for your review! If you really just need to speed up the turtle playback, have a look at my "Duolingo Sound Controls" extension, which doesn't add anything to the UI.