I don’t see any problems with “Library”.
Actually, “resources used by a computer program” feels pretty close to what the library in anytype is.
Thanks for the heads-up. I was stuck with a lot of Relations that I created but never used, and didn’t know where to go to delete them.
The toggle to pick between “Types” and “Relations” feels almost hidden, because the title above the “search/create” bar draws all the attention.
I can think of a few better places on the page to place the Types/Relations toggle, but I’ll leave that to the UX team.
While thinking of the UX team, I’d just like to note that the titles on the Library page are only relevant for first-time users. “Types are like categories” and “use Relations to build connections” demystify Anytype-jargon, but once you know it then the title is just needlessly taking up huge space.
And being the stickler, “All Objects are connected” in the Relations title is more of a philosophical statement than a reality-- when a new Object is created it isn’t connected to anything. (Unless, as I do, you only create new objects within existing Collections.)