Minor things

Some build cleanups, and some lost internal docs.

Edited by Matthias Clasen

Merge request reports

Loading