Oscar Dowson

I'm sorry for not chasing this down earlier. I kinda assumed that the fault was somewhere in this package!

You must also change the lower bound of JuMP in any `Project.toml`s

Then a separate issue is https://github.com/jump-dev/Hypatia.jl/blob/master/examples/Project.toml is missing a `[compat]` section.

We can wait

Okay, any other plans for this release?

I've given up waiting. Let's just merge this for now as a documentation improvement.

> the current docs are kind of centered around the constructor functions rather than the structs, since usually users should use the former Yeah... I've realized this. I just wondered...

There's also: https://jump.dev/Convex.jl/previews/PR610/manual/operations/ But it doesn't have every atom or reformulation (e.g., `abs2` is missing). I also wonder about how important the DCP rules are. I don't think many people...

What are thoughts on https://jump.dev/Convex.jl/previews/PR610/atoms/ Too verbose? What parts are useful?

> In fact I think the reformulations could be more verbose Yes, if we're not focusing on atoms, then it makes sense to have these identical. I even wonder if...