Improve markup of SPDY manual