As an experiment, i've enabled "Federated Search" on doc.to, and linked it via the External Wiki feature to dev.to. So now when you search for something on doc you will also get results from dev.

Now i'm not saying that this is necessarily what we want but i thought i'd leave it like that for a while to see what people think. Maybe we should have search.tiki.org (only sort of kidding). Or should we link them all to tiki.org?

Check it out at this link: https://doc.tiki.org/tiki-searchindex.php?filter~content=Tiki15