Get Principal of logged in user in WebSocket controller

Question

I have a Spring Boot application that uses Spring Security to secure endpoints using JWT, which all works correctly for standard REST controllers. The app also has WebSocket con