No longer need this - instructions are back in the main doc.