/** @mainpage Playground
*
* The playground is a place to put new and immature and
* flaky apps, to develop them to maturity.
*/
