A.5 Details of PuTTY's operation