Cut down the default selection of themes in preparation for the 3.0
release. The ABXD 3.0 theme is also no longer marked as unfinished.