The now-defunct function refine! is commented out in the src, but it is still included in the exported names. So I think it might be better to remove it from the list. If it will be re-implemented, it can be added back.

If this is approved, I can make a PR.