<div dir="ltr">The top Google search result for Petitboot is still <a href="https://www.kernel.org/pub/linux/kernel/people/geoff/petitboot/petitboot.html">https://www.kernel.org/pub/linux/kernel/people/geoff/petitboot/petitboot.html</a> , which points people at a Git repository that seems out of date compared to <a href="https://github.com/open-power/petitboot">https://github.com/open-power/petitboot</a> .  Is there any chance that this can be corrected?  Also, it seems like the Github page should mention the mailing list if it's going to be the main point of entry for future developers.<div><br></div><div>Thanks,</div><div>- Alan</div></div>