Fix typos and format mistakes in hot_spec docs. Besides that, all lines now < 80 characters. Change-Id: I65a69cfa1912a139e162acf8a2bd6d279d1eb46c
Fix typos and format mistakes in hot_spec docs. Besides that, all lines now < 80 characters. Change-Id: I65a69cfa1912a139e162acf8a2bd6d279d1eb46c