Marek

The issue is still present. > A (potentially very naive) quickfix for evil users could look roughly like That makes my autocompletion not show up at all. :/

That's what I do, but then I'm doing ` ` or ` `, which is not ergonomic. I never need access to autocompletion after I press ``. It would be...

I assume you use hybrid or vim mode as well. So you treat the closing of the autocompletion and the transition to normal mode as separate operations I guess. However,...

> Actually, `(setq require-final-newline nil)` won't work, value of `require-final-newline` is still `t`, you have to set `(setq-default mode-require-final-newline nil)` In my case, `(setq require-final-newline nil)` worked, and `(setq-default mode-require-final-newline...

Good point @conradoplg. I can take this ticket, but if we move the proof preparation to `rayon`, shouldn't we still keep in mind that we should use `bellman::Proof` in `Groth16Proof`...

I think I'd lean towards the second option in terms of future maintenance since it seems a bit cleaner.

> @upbqdn how much progress have you made on this ticket so far? I have no implementation ready to be pushed yet.

> I'm not quite sure how this happened, but it looks like this ticket got transformed into a PR? (I'm seeing comments from a ticket from last week, and code...

> I'm going to admin-merge this PR now, so other developers can get accurate timings, and we can move on with ticket https://github.com/ZcashFoundation/zebra/issues/4823. > Actually I'm going to wait for...

> > I tried a new feature in Emacs: `create pull-request from issue`. I thought nothing happened because it seemed like there was no "new" PR. What actually happened was...