Michael Howell

Solution sketch: * Change `BorsNG.Worker.Batcher.Registry` to `BorsNG.Worker.Registry`. The `BorsNG.Worker.Registry` will be responsible for managing the worker processes for an entire project: the `Batcher`, the `Attemptor`, the `BranchDeleter` (which should become...

Other than the commonmark-hs smart quotes extension, most implementations don't do that. * [markdown-it with typographer](https://markdown-it.github.io/#md3=%7B%22source%22%3A%22%27a%20_b%27%20c_%20d%5Cn%5Cn%27a%20b%27%20c%20d%22%2C%22defaults%22%3A%7B%22html%22%3Afalse%2C%22xhtmlOut%22%3Afalse%2C%22breaks%22%3Afalse%2C%22langPrefix%22%3A%22language-%22%2C%22linkify%22%3Atrue%2C%22typographer%22%3Atrue%2C%22_highlight%22%3Atrue%2C%22_strict%22%3Afalse%2C%22_view%22%3A%22src%22%7D%7D) seems to just have emphasis bind tighter. Notice that the first single quote is...

I have no idea, but in general, I recommend using [GitHub Merge Queues] instead of Bors if it's possible, since it's a first-party feature and generally integrates with everything else...

#644 proposes a change to the HTML generated by footnotes.

https://github.com/raphlinus/pulldown-cmark/pull/806 proposed a change to the HTML generated by task lists.

`html`, `head`, and `body` are more-or-less expected. The HTML is parsed as-if it was a `div`'s innerHTML. `strong` shouldn't do that. Can you open a separate issue with a minimized...

This is definitely going to make the standard library docs bigger. Let's see how much! @bors try @rust-timer queue

Yeah. I didn't think of that. Here's the output for `./x doc library/std`, run on my machine: ```console michaelhowell@Michael-Howells-Macbook-Pro rust % du -hs doc-new doc-old 117M doc-new 116M doc-old michaelhowell@Michael-Howells-Macbook-Pro...

@rfcbot fcp close I have to say it's not worth it. There's reasonable arguments for both perspectives, and I don't want to be flip-flopping back and forth.

> The syntax complexity for the search is to be considered here. I'm personally in favour, but I wonder if we should keep pushing more advanced search features or not....