I ran into a weird docs generation thing though–when I try to provide an example, it gets generated as <pre></pre>