Docs for 0.1.7 with new-looking Judo.jl