Apparently the are still available from HP, but made elsewhere.
I looked around online a little. The new HP 15C is apparently still available, but quite a few reviews complain of the quality (early failures etc.)