Are "BuddyDress" themes part of WMPU Package

Notice that buddydress in owned my same people. Are those themes part of the 160 themes listed here or are those separate themes. Thanks