Merge branch 'fixes' into 'pregmod-master'

SanityCheck.jar

devTools/javaSanityCheck/htmlTags

devTools/javaSanityCheck/info.txt

devTools/javaSanityCheck/src/DisallowedTagException.java

devTools/javaSanityCheck/src/Main.java

devTools/javaSanityCheck/src/SyntaxError.java

devTools/javaSanityCheck/src/Tag.java

devTools/javaSanityCheck/src/TagSearchTree.java

devTools/javaSanityCheck/src/UnknownStateException.java

...ools/javaSanityCheck/src/element/AngleBracketElement.java

devTools/javaSanityCheck/src/element/AtElement.java

devTools/javaSanityCheck/src/element/BracketElement.java

devTools/javaSanityCheck/src/element/CommentElement.java

devTools/javaSanityCheck/src/element/Element.java

devTools/javaSanityCheck/src/element/KnownElement.java

devTools/javaSanityCheck/src/element/KnownHtmlElement.java

devTools/javaSanityCheck/src/element/KnownLogicElement.java

devTools/javaSanityCheck/src/element/KnownTwineElement.java

java+gitGrep-sanityCheck.sh

src/events/intro/introSummary.tw