Track bowtie-found bugs in the docs
We should have a page showing implementation bugs found via Bowtie. There are a number we've found already.
Would like to give this a try. How do we approach this one? Is it possible to dynamically render this content on the docs?
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).
Hi @Julian can I work on this issue?