Our documentation site is moving to docs.proofbuddy.com.

We're leaving this section of our site up for the time being, but any updates will occur on the new documentation wiki.