Summary of changes: 6414ed4... fix/update HTML docbook multilib hack (#862388) (*) c497a32... Merge branch 'f18' into f17 (*) This commit already existed in another branch; no separate mail sent