The documentation is a consolidation of the comments in Doxygen markup
and the documentation sources in Sphinx markup. The documentation was
transfered to interface specification items. The documentation source
files were generated from the items by a script.
Update #3993.
Introduce a background section.
This makes it easier to automatically generate parts of the scheduling
concepts documentation in the future.
Update #3993.
