Minor improvements for tramp-interrupt-process, documentation