Revealjs also supports markdown.

I advice to stop reading responses here and finish it due to spoilers.

They have a pressure gauge too, which should be in the green.

It is theoretically possible by using formal verification. Which is getting easier due to lean. But still impractical.

I think NAT is one reason why the internet is so centralized. If everyone had a static IP you could do all sorts of decentralized cool stuff.