This patch does something our users wanted: When they click Edit this page they don't all feel comfortable backing out of this. With this, they can press a Cancel Edit button, which also releases the lock on the page.