Added some slightly more detailed setup instructions at Gregory Zobel's urging