Re: [coreboot] static site generator for coreboot documentation in git repository