@Super_pickle right now there isn’t, we hope in the future there will be such an option though. For now you have to shorten it inside an audio editor first. Audacity (https://www.audacityteam.org/) is a free audio editor and you can export to WAV easily. If you want MP3 you’ll have to follow their instructions on downloading a special codec to do such export.