krdo@lmmy.nettoTechnology@lemmy.world•Content is King? - How it sucked out the joy of personal websitesEnglish
1·
8 months agoYou can add yourself for the next crawl via a pull request on GitHub, or simply mail the developer, and he will add you.
Software developer and self-hosting enthusiast
You can add yourself for the next crawl via a pull request on GitHub, or simply mail the developer, and he will add you.
The first statement only tells you when B is true. It says nothing about when it is false. The second statement both tells you when B is true (if A) and when it is not (only if A). Therefore, the two statements cannot be equal.
The main reason I’ve heard is that chromium is far easier to embed than Gecko. Gecko isn’t something you embed like a library. It’s something you build upon. Detaching Gecko from Firefox UI (or Thunderbird for that matter) is supposedly really hard.
I love this search engine. I’ve already found several new sites that I never knew I needed in my life.