Is http://cljdoc.org down right now?

(I'm getting Bad Gateway errors eventually)

It is not responding for me @seancorfield. I’ll @martinklepsch here to make sure he is aware.

Oh, and after a long while got the bad gateway error too.

Was a good idea, hadn't thought of triggering a redeploy! We'll just have to wait for @martinklepsch to have a peek.