Currently tags set is insulated inside a document, so each document has it's own tag set. So I have to look into other documents to make sure I don't misspell tag when using it in newer document for the first time. As for me, it would be better if tags are visible globally between all documents. But maybe have an option to chose would be the best (local vs global tags visibility)