[Pitch] Replaceable Library Plugins

hi all,

after taking all the feedback on naming into account, we have tentatively chosen the new name of Environment-Dependent Shared Libraries, which we think better-communicates the scope and intended purpose of this feature.

i’ve also updated the pitch to use the updated terminology.

7 Likes