Managing this hardware requires a large software stack. Often, this software is open-source
and community developed. As a result of this development model and the complexities of
distributed resource management, modern software systems can have dozens or even
hundreds of configurable options. The open source development process makes it easy for
developers to add options and easy for documentation to become stale. We offer a static …