The bit about Guix’s full-source bootstrap relying “on a large amount of x86 machine encoding of instructions and assembler code that require experts to audit”, right after mentioning the 357 bytes of x86 instructions, is hard to understand.

@monnier @janneke @stikonas