Add possibility to disable the timings with export DJ set

I always export my DJ set as a txt file (e.g. to add it as a tracklist on SoundCloud), but don't want to have the timings (when a track starts) in there. There is a possibility to exclude audio, key or add file numbers. It would be very nice to have the possibility to exclude the TIME as well.