Bug #2832: Add configuration to docs, and update mysql guide