<https://web.archive.org/web/20230719185342/https://libreboot...>
then you might agree that GNU Boot may have a point that the web page is (or was) using the name “GNU Boot” confusingly. Accordingly, they asked it to be changed, albeit somewhat confrontationally and brusquely.