More sensible PlusCal content assist template#1

lcao0319 wants to merge 1 commit intomasterlcao0319/tlaplus:masterfrom

more-sensible-PlusCal-content-assist-templatelcao0319/tlaplus:more-sensible-PlusCal-content-assist-templateCopy head branch name to clipboard