Okay, I just followed these steps: > > opam update > opam install user-setup and it seems to be hanging. Is there a log file or other config information that I can send you to help figure this out? -Greg