Fix another examples/ proof broken by 875ba111.

Mention these automatic rewrites in release notes.