If I go into the editor without logging in first (after a cold boot) and try to visit a file, it first prompts me for a login name. I provide HAL, but then it blows up with some error about login name not being the same as ???.