Delete HP extension documentation

It's not appropriate for us to document HP product extensions.

Closes-bug: 1238054
Change-Id: I3bc265b60aec12b577c8d6335b3b3d3f82d4efd9