>The official Security Bulletin regarding HP Products and HeartBleed is available at
This appears to be for "servers" only, not software products.
http://www8.hp.com/us/en/heartbleed.html
You may have to search for other products: openssl heartbleed site:hp.com
Though your link in message #2 seems to list all products.