New intro, fixed stuff at sockethiding.tex and port.tex