Poll time! I didn't want to create a separate thread for this (and it's relevant), so I made a strawpoll instead.

http://strawpoll.me/4247037

Basically, should I skip duplicates? My reason is that from bash3 to bash4, many of the same battle levels are used again. However, even if I do skip duplicates, different versions of levels (providing they are different enough gameplay-wise) will be kept.

...And bash4 replaces the custom music CTF levels with default music....Boooring. I will put their corresponding original music files back.