During workshop we discovered an issue with notifications: when a tree is pinned, it is not refreshed via websockets.

Also, I leave it as thought, but currently tree notifications are simple and boil down to "this subtree changed, refresh it".

It might be annoying (when working on a large tree with many users) to see your tree refreshed often. Maybe make the "update" more granular: new/delete/rename/move and act accordingly to update the tree on the frontend.