John Wiegley

I still can't figure out how to use this. With your suggested modification above, I am doing this: 1. Run `M-x lasgun-mark-char-timer` 2. Select a point 3. Repeat steps 1-2...

Hi @colstrom! I'm sorry it's been a while before I saw this. If you can help to resolve the conflicts in the Cargo.toml files, I'd be happy to merge this!

@edmundnoble What prompted this work?

Would it be better to have separate newtypes for block heights and cut heights?

How often do we need to transparently use them as "numbers"? What if we removed those instances and made the conversions explicit?

One other thing I would suggest for this feature is to add inheritance: A `:parent` property that adds in all of the settings from another "agent", so that I can...

> @jwiegley :parent is respected by gptel-make-preset. But perhaps it should be :parents with more than one parent allowed? `:parents` makes a lot of sense to me, I suppose with...

Hmm... leads to some build failures.

I suppose now is the time to drop all support for Coq < 8.19?

Thanks, I was able to build and run with this. It still dumped core, but now I have a build that Ben Gamari can help me with.