Avoid possible double page checkout

Let's hide the div with the "Edit this Page" button when users click
the "Edit" button.

In fact I've seen that users (even myself) often click on the "Edit"
button and soon after click on the "Edit this Page" button.
This causes two server calls to checkout the page, even if users don't
notice this.