html copy of spec