Port Tramp manual to latest Texinfo