don't forget 3par 10k
HP doesn't even talk about the HDS stuff any more, haven't heard a peep about it in over a year now. You likely won't see it mentioned in even marketing literature (at least I haven't seen it mentioned again in more than a year).
They still sell it (though I'd be shocked if they hopped onto whatever is the next generation beyond VSP), but they would rather customers buy 3PAR of course.