Rework the HOT spec section

This patch updates the HOT spec section to closer match our standards.

Change-Id: I7f995c3f3ebdc9d630a2eed39f082eab9b544939
Merge "Rework the HOT spec section"