Merge tag 'v1.7.2'

.github/workflows/main.yml

general/docs/changelogs/ch1_7_2.md

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

tlatools/org.lamport.tlatools/github.xml

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

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

...org.lamport.tlatools/src/tlc2/value/impl/FcnRcdValue.java

tlatools/org.lamport.tlatools/test-model/Github362.cfg

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

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

...ls/org.lamport.tlatools/test/tlc2/tool/Github362Test.java

...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