Hello,
We just noticed this post hadn't received a proper follow up. Terribly sorry for that, however work has been done and improvements have been made!
Last month, we investigated our authentication process and discovered a way to streamline it that prevented issues around authentication loops.
As for search, the portal relies on Atlas authentication to provide access to the Khoros Communities Dev Docs. Since the Marketing and Care portals are publicly accessible, authentication isn't required to access and search those.
So, if you're not seeing Khoros Communities in this search field, it means that the portal isn't seeing a valid authentication with Atlas. You can go back to Atlas and authenticate, or click through to the Khoros Communities docs which will validate access and give you permission to search through that area of the portal.
Basically, all roads lead back to Atlas authentication. As long as you're signed in here, you shouldn't have any issues navigating the Developer Docs.
Hope this helps!