<div>Thanks Eric. By the way, dowa the Dec Kit have a proper hostname like "purism-devkit" or something? I think I could just do "ssh purism-devkit" and get in that way...</div>