Mention a minor tooling API improvement.