Patch for #7628: improve error message when mixing 32 and 64 bit images (on Mac OS X)
Tweak the mkDocs script
Tweak the gen_contents_index script