Clarify "bar for negation" with "bar for list of variables"

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information