Merged pull requests: bug fixes and small improvements shipped into AI coding agent tools.