Update hw-doc/hw.tex