Ah yeah. Feels like you could argue either way!
In any case I don’t think library duplication is a meaningful issue in most cases. As evidenced by everyone using Docker which duplicates libraries!
Feels like this could be totally solved at the filesystem level with copy-on-write de-duplication. The best of both worlds!