Fix indentation
Add nav/term-from-tramp