varkor
When https://github.com/rust-lang/rust/pull/90521 is merged, [destructuring assignment](https://github.com/rust-lang/rust/pull/90521) will be stable in Rust. There is currently a section on destructuring pattern matching in Chapter 18.3. Would it be worth adding a paragraph,...
Currently only PR numbers are displayed on https://crater.rust-lang.org/, which isn't very helpful to tell at a glance how far down in the queue a specific pull request is.
 It's not immediately obvious that the left-hand side is "before" and the right-hand side is "after". Putting labels above each column would make this clearer.
At least from my quick trial, it seems editing a message is an ineffective way to trigger craterbot. Editing small mistakes can be slightly more convenient than making an almost-duplicate...
In the rare occasions we might want to merge even if CI has failed, we should explicitly command @bors to ignore the CI failure.
If a TSMessage appears inside a view that can be scrolled, it remains attached to the top of the content, rather than the view frame, meaning it will disappear if...
I have heard that this is not clear for all users, which means they might recreate diagrams instead of editing them directly. Maybe it would be possible to add a...
SVG export
Currently, quiver draws arrows using SVG, but makes use of a lot of CSS styling, which is badly supported outside of browsers. This makes it difficult to export a diagram...
Labels are rarely associated with adjunctions, so it would make more sense for position to affect the symbol itself.