WL#4640: Examples and tutorials for server options and variables

Affects: Benchmarks-3.0   —   Status: Un-Assigned   —   Priority: Medium

This is a documentation and education task.

The purpose is to produce a document describing in detail how server options are
added, removed and modified.

With the document also follows a set of tutorials which has the purpose of
transferring the knowledge of the documentation in an easy-to-digest way.

The documentation should also include a speculative part which outlines the
possible future of server options.

The goal of this task is to evaluate the usefulness of investing time on
documentation and tutorials as means of getting more productive programmers and
less bugs.