Just for the record, this was fixed by building the documentation only in the indep build. Building the documentation on these architectures will probably still fail, but I agree that the bug can be closed. Best, Tobias