pedestal 2025-02-01

Now I'm researching and thinking about how to bring web sockets under the routing umbrella.

Surprisingly easy!

Bit of work on the documentation though