master
JAVA-27512: Upgrade spring-websockets to Spring Boot 3 (#15577)
Put html and js resources back to their original location. Split backend code so it doesn't modify existing examples. Added a bots.html page for the server push version.