Correct. I found a PDF of the Operator's Guide. See https://news.ycombinator.com/item?id=48028227