ops: bump repository-dispatch to v2 to fix GH actions warnings
ops: bump maven-war-plugin to 3.3.2 to fix Java 17 builds
ops/pom: update Restlet repo, old has SSL expired
proxy: config range [1,10] -> [0,19]
Introduce `develop` branch for active development
Introduce `develop` branch for active development
notation: 4.1.0-SNAPSHOT version
smtp: fix TLS for OpenJDK 8u292+