It'd be great if this (or similar) got merged: https://github.com/Aider-AI/aider/pull/3781