How to include library archives with TLC and the Toolbox

README.md

@@ -10,11 +10,10 @@ How to use it
 
 Just copy & paste the snippet, the operators or the set of modules you are interested in.
 
-Being a community-driven repository we, as the TLA+ developers, do not take any
-responsibility for the validity and correctness of the submissions. We will
-try to keep this place in order, but we can't guarantee the quality of the
-modules here available and therefore do not provide any assistance on eventual
-malfunctions.
+Alternatively, you can download a [library archive](https://github.com/tlaplus/CommunityModules/releases) and add it to TLC's or the Toolbox's *TLA+ library path*.  The advantage of the library archive is that TLC will evaluate an operator faster if the operator comes with a (Java) implementation (see e.g. [SequencesExt.Java](https://github.com/tlaplus/CommunityModules/blob/master/modules/SequencesExt.java)).  Run TLC with ```-DTLA-Library=/path/to/lib/archive``` or add the library archive to the Toolbox (```File > Preferences > TLA+ Preferences > TLA+ library path locations```).
+
+Being a community-driven repository puts the community in charge to check the validity and correctness of submissions. The maintainers of this repository will try to keep this place in order, but we can't guarantee the quality of the
+modules and therefore cannot provide any assistance on eventual malfunctions.
 
 Contributing
 ------------
@@ -32,4 +31,4 @@ We take the discretion to approve or reject submissions at our will.
 Download
 --------
 
-[![Build Status](https://dev.azure.com/tlaplus/tlaplus/_apis/build/status/tlaplus.CommunityModules?branchName=master)](https://dev.azure.com/tlaplus/tlaplus/_build/latest?definitionId=4&branchName=master)
+[![Build Status](https://dev.azure.com/tlaplus/tlaplus/_apis/build/status/tlaplus.CommunityModules?branchName=master)](https://dev.azure.com/tlaplus/tlaplus/_build/latest?definitionId=4&branchName=master)