Merge remote-tracking branch 'origin' into pattern-generation

build.txt

modeling/SysMLSec/AliceAndBob.xml

modeling/SysMLSec/X3DH.xml

src/main/java/ui/avatarbd/AvatarBDPragma.java

src/main/java/ui/util/DefaultText.java

src/main/java/ui/window/JDialogPragma.java

src/main/java/ui/window/JDialogSafetyPragma.java

src/main/resources/help/avatarsecuritypragmas.html

src/main/resources/help/avatarsecuritypragmas.md

src/main/resources/help/helpTable.txt

src/main/resources/help/lockauthenticity_avatar.png