Merge tag 'v1.7.3'

.github/workflows/main.yml

.jenkins.groovy

general/docs/changelogs/ch1_7_3.md

general/docs/changelogs/gh-1_7_3.jq

pom.xml

tlatools/org.lamport.tlatools/github.xml

tlatools/org.lamport.tlatools/ossrh.xml

tlatools/org.lamport.tlatools/pom.xml

tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java

...ols/src/tlc2/tool/impl/SymbolNodeValueLookupProvider.java

tlatools/org.lamport.tlatools/src/tlc2/tool/impl/Tool.java

...s/org.lamport.tlatools/src/tlc2/value/impl/LazyValue.java

tlatools/org.lamport.tlatools/test-model/Github798I.tla

tlatools/org.lamport.tlatools/test-model/Github798N.tla

...s/org.lamport.tlatools/test/tlc2/tool/Github798ITest.java

...s/org.lamport.tlatools/test/tlc2/tool/Github798NTest.java

toolbox/org.lamport.tla.toolbox.doc/pom.xml

...t.product/org.lamport.tla.toolbox.product.product.product

...box/org.lamport.tla.toolbox.product.standalone/plugin.xml

...rc/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java