I am looking for a team note taking app, currently we are using google docs and it has a big discoverability problem (surprisingly search is not that useful when you have 1000 documents) Preserving company knowledge is hard when everyone uses their own evernote.Currently considering: notion.so Is there anything else you recommend? It would be nice to have a live multi-user editing support so more than one person can work on the documentation at the same time.