Tweaked docs, added precondition for -main checking for credentials files