This section contains internal documentation that is meant for FuzzBench maintainers. It is not useful for end users of FuzzBench.