Is http://yada.juxt.pro down for anyone else?

yes

yes, 502, bad gateway error here.

you can run the documentation offline though: https://github.com/juxt/yada#running-documentation-and-examples-offline

Malcolm's on a client site, I'll try and get the Yada JVM up