julia

c71f205f - add pretty-printing doctests (#18649)

add pretty-printing doctests (#18649) * add pretty-printing doctests (for #18634) * in the HTML manual, render the HTML pretty-printing example