We need to split our public documentation into two separate instances. One would be for user docs, the other for developer docs. There should be one landing page though, where users can choose what docs they want to go to: user docs or dev docs. There should also be a common search for both instances, so when entering a search term, users would see in what docs (user or dev) the search term appears.