I am aware that for searching among favorites, both
infavorites:mine can be used in search. However, when I tried changing
intags:<userid>, the latter seems not to be working.
I asked this after a recent discussion with another user who saw a change in his favorite tags and was unaware of making the change himself. The resolution of that problem is that he probably made this by mistake or (more likely) that is was result of some tags being merged/synonymized. But still, after that discussion I was curious whether one user has a possibility to share his favorite tags with another user in some more comfortable way than taking a screenshot or typing/copypasting the list of tags.