On Sat, Jun 06, 2026 at 12:57:56AM +0530, Ayush Tiwari wrote:> Thoughts? Does this look like the right approach, or is there a> reason to keep refint around?
+1. Do we need an appendix-obsolete entry for the docs?
-- nathan