Merge "doc: Fix indentation in build options documentation" into integration