[mdbauman]

The sidebar link on the Minecraft wiki taught me about the extension "Indie Wiki Buddy," https://getindie.wiki/ which among other things prioritizes non-Fandom search results.