Searching for "kicad", "kicad pcb" or "kicad-pcb" on DDG, Google, Bing and Brave, only Brave still shows a link to kicad-pcb.org on the first page, so the campaign seems to be going in the right direction