Track bowtie-found bugs in the docs

[Julian]

We should have a page showing implementation bugs found via Bowtie. There are a number we've found already.

[adwait-godbole]

Would like to give this a try. How do we approach this one? Is it possible to dynamically render this content on the docs?

[Julian]

Actually the tricky bit here is that the few examples I'm aware of are somewhere in my Slack DMs :) -- I filed this to remind me to put them somewhere public, but yeah that's the tricky part about you doing it. There's nothing to dynamically render really, I just wanted a place we could have a "hall of bugs" kind of thing to show we're finding real-world bugs (which we've already found 4 I think).