removed "+" from optional dependencies (in the db); made UIs render the "+" but it is not part of the official label anymore