https://twitter.com/martinklepsch/status/1109109829438791680
BTW, I would be curious about anecdotal experiences with cljdoc's performance. The server is in the EU and so I'm wondering if it might feel a little slow in the Americas, Asia, etc.